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, Barsneya Chakrabarti, Fahim Rahim, Mohammad H. Movahed-Ezazi | 2017-08-01 |