Issued Patents All Time
| Patent # | Title | Co-Inventors | Date |
|---|---|---|---|
| 7107553 | Method and apparatus for solving constraints | James H. Kukula, Robert F. Damiano, Carl Preston Pixley | 2006-09-12 |
| 6336206 | Method and apparatus for structural input/output matching for design verification | — | 2002-01-01 |