Issued Patents All Time
Showing 1–3 of 3 patents
| Patent # | Title | Co-Inventors | Date |
|---|---|---|---|
| 8181132 | Validating one or more circuits using one or more grids | Jawahar Jain, Subramanian K. Iyer, Mukul R. Prasad | 2012-05-15 |
| 7546563 | Validating one or more circuits using one of more grids | Jawahar Jain, Subramanian K. Iyer, Mukul R. Prasad | 2009-06-09 |
| 7360186 | Invariant checking | Christian Stangier, Koichiro Takayama | 2008-04-15 |