Issued Patents All Time
Showing 1–4 of 4 patents
| Patent # | Title | Co-Inventors | Date |
|---|---|---|---|
| 7571403 | Circuit verification | Jawahar Jain, Subramanian K. Iyer, Amit Narayan, Debashis Sahoo | 2009-08-04 |
| 7360186 | Invariant checking | Thomas W. Sidle, Koichiro Takayama | 2008-04-15 |
| 7032197 | System and method for executing image computation associated with a target circuit | Jawahar Jain, Subramanian K. Iyer, Amit Narayan, Debashis Sahoo | 2006-04-18 |
| 7028279 | Circuit verification | Jawahar Jain, Subramanian K. Iyer, Amit Narayan, Debashis Sahoo | 2006-04-11 |