Issued Patents All Time
| Patent # | Title | Co-Inventors | Date |
|---|---|---|---|
| 9195789 | Incremental functional verification of a circuit design | Amit Sharma | 2015-11-24 |
| 7325209 | Using patterns for high-level modeling and specification of properties for hardware systems | Praveen Tiwari, Manish Kumar Saluja | 2008-01-29 |