Issued Patents All Time
| Patent # | Title | Co-Inventors | Date |
|---|---|---|---|
| 10437956 | Pessimism reduction in static timing analysis | Adrian Wrixon, Anton Belov, Maurice Keller | 2019-10-08 |
| 9542514 | Constraint memory node identification in sequential logic | Srivathsan Krishna Mohan, Qing Zhang | 2017-01-10 |