Issued Patents All Time
| Patent # | Title | Co-Inventors | Date |
|---|---|---|---|
| 5805860 | Methods, data structures and apparatus for traversing a hierarchical netlist | — | 1998-09-08 |
| 5696942 | Cycle-based event-driven simulator for hardware designs | Samir Palnitkar | 1997-12-09 |
| 4924430 | Static timing analysis of semiconductor digital circuits | John J. Zasio, Kenneth Chan Choy | 1990-05-08 |