Issued Patents All Time
Showing 1–3 of 3 patents
| Patent # | Title | Co-Inventors | Date |
|---|---|---|---|
| 6691288 | Method to debug IKOS method | Viswanathan Lakshmanan, Jayendra P. Gagvani | 2004-02-10 |
| 6668359 | Verilog to vital translator | Viswanathan Lakshmanan | 2003-12-23 |
| 6272671 | Extractor and schematic viewer for a design representation, and associated method | — | 2001-08-07 |