Issued Patents All Time
Showing 1–3 of 3 patents
| Patent # | Title | Co-Inventors | Date |
|---|---|---|---|
| 7493247 | Integrated circuit analysis system and method using model checking | — | 2009-02-17 |
| 7305635 | Serial implementation of assertion checking logic circuit | Miron Abramovici | 2007-12-04 |
| 6219821 | Computers systems and methods for verifying representations of a circuit design | John W. Hagerman, Matthew Bellantoni, Richard Newton, Richard J. Cloutier | 2001-04-17 |