Issued Patents All Time
Showing 1–4 of 4 patents
| Patent # | Title | Co-Inventors | Date |
|---|---|---|---|
| 8718998 | Identifying initial don't care memory elements for simulation | — | 2014-05-06 |
| 7266793 | Extended model checking hardware verification | — | 2007-09-04 |
| 7249332 | Using local reduction in model checking to identify faults in logically correct circuits | — | 2007-07-24 |
| 7231619 | Extended model checking hardware verification | — | 2007-06-12 |