Issued Patents 2004
Showing 1–9 of 9 patents
| Patent # | Title | Co-Inventors | Date |
|---|---|---|---|
| 6816826 | Fully exhibiting asynchronous behavior in a logic network simulation | Flemming Andersen, Kenneth D. Klapproth, Steven L. Roberts | 2004-11-09 |
| 6795963 | Method and system for optimizing systems with enhanced debugging information | Flemming Andersen | 2004-09-21 |
| 6763505 | Apparatus and method for automated use of phase abstraction for enhanced verification of circuit designs | Robert L. Kanzelman, Wolfgang Roesner | 2004-07-13 |
| 6751582 | Method and system for enhanced design validation through trace tailoring | Flemming Andersen, Steven L. Roberts | 2004-06-15 |
| 6748573 | Apparatus and method for removing effects of phase abstraction from a phase abstracted trace | Robert L. Kanzelman, Wolfgang Roesner | 2004-06-08 |
| 6745377 | Apparatus and method for representing gated-clock latches for phase abstraction | Robert L. Kanzelman, Wolfgang Roesner | 2004-06-01 |
| 6738955 | Method and system for formal characterization of average performance | Flemming Andersen, Steven L. Roberts | 2004-05-18 |
| 6698003 | Framework for multiple-engine based verification tools for integrated circuits | Geert Janssen, Andreas Kuehlmann, Viresh Paruthi, Louise H. Trevillyan | 2004-02-24 |
| 6678417 | Dictionary based video compression | Nadeem Malik, Steven L. Roberts | 2004-01-13 |