Issued Patents 2017
| Patent # | Title | Co-Inventors | Date |
|---|---|---|---|
| 9740589 | Lifting of bounded liveness counterexamples to concrete liveness counterexamples | Raj Kumar Gajavelly, Alexander Ivrii, Pradeep Kumar Nalla | 2017-08-22 |
| 9715564 | Scalable and automated identification of unobservability causality in logic optimization flows | Raj Kumar Gajavelly, Ashutosh Misra, Pradeep Kumar Nalla | 2017-07-25 |
| 9678853 | Lifting of bounded liveness counterexamples to concrete liveness counterexamples | Raj Kumar Gajavelly, Alexander Ivrii, Pradeep Kumar Nalla | 2017-06-13 |