Issued Patents All Time
Showing 1–4 of 4 patents
| Patent # | Title | Co-Inventors | Date |
|---|---|---|---|
| 8849644 | Parallel simulation using an ordered priority of event regions | Chiahon Chien | 2014-09-30 |
| 6687662 | System and method for automated design verification | Michael T. McNamara, David Massey | 2004-02-03 |
| 6487704 | System and method for identifying finite state machines and verifying circuit designs | Michael T. McNamara, Chiahon Chien, David Massey | 2002-11-26 |
| 6141630 | System and method for automated design verification | Michael T. McNamara, David Massey | 2000-10-31 |