Issued Patents All Time
Showing 1–10 of 10 patents
| Patent # | Title | Co-Inventors | Date |
|---|---|---|---|
| 9317636 | System and method for stopping integrated circuit simulation | Dietmar Petras | 2016-04-19 |
| 8903699 | Determining large-scale finite state machines using constraint relaxation | — | 2014-12-02 |
| 8903703 | Dynamically adjusting speed versus accuracy of computer platform simulation | Tom Michiels, Karl Van Rompaey | 2014-12-02 |
| 8793115 | Interface converter for unified view of multiple computer system simulations | Tom Michiels, Karl Van Rompaey | 2014-07-29 |
| 8484006 | Method for dynamically adjusting speed versus accuracy of computer platform simulation | Tom Michiels, Karl Van Rompaey | 2013-07-09 |
| 8448106 | Large scale finite state machines | — | 2013-05-21 |
| 8265920 | Determining large-scale finite state machines using constraint relaxation | — | 2012-09-11 |
| 7783997 | Large scale finite state machines | — | 2010-08-24 |
| 7742905 | Method and system for dynamically adjusting speed versus accuracy of computer platform simulation | Tom Michiels, Karl Van Rompaey | 2010-06-22 |
| 7716031 | Interface converter for unified view of multiple computer system simulations | Tom Michiels, Karl Van Rompaey | 2010-05-11 |