Issued Patents All Time
Showing 1–8 of 8 patents
| Patent # | Title | Co-Inventors | Date |
|---|---|---|---|
| 8181132 | Validating one or more circuits using one or more grids | Jawahar Jain, Mukul R. Prasad, Thomas W. Sidle | 2012-05-15 |
| 7788556 | System and method for evaluating an erroneous state associated with a target circuit | Jawahar Jain, Amit Narayan, Debashis Sahoo | 2010-08-31 |
| 7571403 | Circuit verification | Jawahar Jain, Amit Narayan, Debashis Sahoo, Christian Stangier | 2009-08-04 |
| 7546563 | Validating one or more circuits using one of more grids | Jawahar Jain, Mukul R. Prasad, Thomas W. Sidle | 2009-06-09 |
| 7216312 | Determining one or more reachable states in a circuit using distributed computing and one or more partitioned data structures | Jawahar Jain, Amit Narayan, Yoshihisa Kojima, Takaya Ogawa, Debashis Sahoo | 2007-05-08 |
| 7032197 | System and method for executing image computation associated with a target circuit | Jawahar Jain, Amit Narayan, Debashis Sahoo, Christian Stangier | 2006-04-18 |
| 7028279 | Circuit verification | Jawahar Jain, Amit Narayan, Debashis Sahoo, Christian Stangier | 2006-04-11 |
| 6904578 | System and method for verifying a plurality of states associated with a target circuit | Jawahar Jain, Amit Narayan, Debashis Sahoo | 2005-06-07 |