Issued Patents 2017
| Patent # | Title | Co-Inventors | Date |
|---|---|---|---|
| 9721058 | System and method for reactive initialization based formal verification of electronic logic design | Mohamed Shaker Sarwary, Hans-Jorg Peter, Fahim Rahim, Mohammad H. Movahed-Ezazi | 2017-08-01 |