Issued Patents 2011
Showing 1–4 of 4 patents
| Patent # | Title | Co-Inventors | Date |
|---|---|---|---|
| 8074194 | Method and apparatus for distinguishing combinational designs | — | 2011-12-06 |
| 8032848 | Performing abstraction-refinement using a lower-bound-distance to verify the functionality of a circuit design | — | 2011-10-04 |
| 8015521 | Method and system for performing sequential equivalence checking on integrated circuit (IC) designs | — | 2011-09-06 |
| 7890896 | Method and apparatus for distinguishing combinational designs | — | 2011-02-15 |