Issued Patents 2004
Showing 1–3 of 3 patents
| Patent # | Title | Co-Inventors | Date |
|---|---|---|---|
| 6763505 | Apparatus and method for automated use of phase abstraction for enhanced verification of circuit designs | Jason R. Baumgartner, Wolfgang Roesner | 2004-07-13 |
| 6748573 | Apparatus and method for removing effects of phase abstraction from a phase abstracted trace | Jason R. Baumgartner, Wolfgang Roesner | 2004-06-08 |
| 6745377 | Apparatus and method for representing gated-clock latches for phase abstraction | Jason R. Baumgartner, Wolfgang Roesner | 2004-06-01 |