Issued Patents All Time
| Patent # | Title | Co-Inventors | Date |
|---|---|---|---|
| 8306802 | Method for modeling an HDL design using symbolic simulation | Yunshan Zhu, James H. Kukula, Robert F. Damiano | 2012-11-06 |
| 8271914 | Method and apparatus for simulating behavioral constructs using indeterminate values | Guillermo Maturana, Arturo Salz | 2012-09-18 |
| 7934183 | Method and apparatus for simulating behavioral constructs using indeterminate values | Guillermo Maturana, Arturo Salz | 2011-04-26 |