| 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 |