Issued Patents 2017
| Patent # | Title | Co-Inventors | Date |
|---|---|---|---|
| 9740589 | Lifting of bounded liveness counterexamples to concrete liveness counterexamples | Jason R. Baumgartner, Raj Kumar Gajavelly, Alexander Ivrii | 2017-08-22 |
| 9715564 | Scalable and automated identification of unobservability causality in logic optimization flows | Jason R. Baumgartner, Raj Kumar Gajavelly, Ashutosh Misra | 2017-07-25 |
| 9697306 | Formal verification driven power modeling and design verification | Anand Haridass, Arun Joseph, Rahul M. Rao | 2017-07-04 |
| 9678853 | Lifting of bounded liveness counterexamples to concrete liveness counterexamples | Jason R. Baumgartner, Raj Kumar Gajavelly, Alexander Ivrii | 2017-06-13 |