Issued Patents All Time
Showing 1–7 of 7 patents
| Patent # | Title | Co-Inventors | Date |
|---|---|---|---|
| 11556676 | Scalable formal security verification of circuit designs | Alfred Koelbl, Naiyong Jin | 2023-01-17 |
| 11507719 | Accelerating formal property verification across design versions using sequential equivalence checking | Mitesh Jain | 2022-11-22 |
| 10515170 | Deep insight for debug using internal equivalence visualization and counter-example for sequential equivalence checking | Per M. Bjesse | 2019-12-24 |
| 9973437 | Apparatus to achieve quality of service (QOS) without requiring fabric speedup | Ravi Pathakota, Sarin Thomas, Srihari Raju Vegesna, Firdaus Mahiar Irani, Kalpataru Maji +1 more | 2018-05-15 |
| 9369397 | Apparatus to achieve quality of service (QoS) without requiring fabric speedup | Ravi Pathakota, Sarin Thomas, Srihari Raju Vegesna, Firdaus Mahiar Irani, Kalpataru Maji +1 more | 2016-06-14 |
| 8914758 | Equivalence checking using structural analysis on data flow graphs | Carl Preston Pixley | 2014-12-16 |
| 8448145 | Methods and systems for reducing verification conditions for concurrent programs using mutually atomic transactions | Malay Ganai | 2013-05-21 |