Issued Patents 2016
| Patent # | Title | Co-Inventors | Date |
|---|---|---|---|
| 9483595 | Method for scalable liveness verification via abstraction refinement | Jason R. Baumgartner, Raj Kumar Gajavelly, Robert L. Kanzelman, Hari Mony | 2016-11-01 |
| 9471734 | System and program product for scalable liveness verification via abstraction refinement | Jason R. Baumgartner, Raj Kumar Gajavelly, Robert L. Kanzelman, Hari Mony | 2016-10-18 |
| 9460251 | Formal verification driven power modeling and design verification | Anand Haridass, Arun Joseph, Rahul M. Rao | 2016-10-04 |