Issued Patents 2016
| Patent # | Title | Co-Inventors | Date |
|---|---|---|---|
| 9519746 | Addressing early mode slack fails by book decomposition | Mithula Madiraju | 2016-12-13 |
| 9460251 | Formal verification driven power modeling and design verification | Anand Haridass, Arun Joseph, Pradeep Kumar Nalla | 2016-10-04 |
| 9280630 | Modified standard cells to address fast paths | Daniel Lewis, Adarsh Subramanya | 2016-03-08 |