Issued Patents All Time
Showing 101–110 of 110 patents
| Patent # | Title | Co-Inventors | Date |
|---|---|---|---|
| 7299432 | Method for preserving constraints during sequential reparameterization | Jason R. Baumgartner, Geert Janssen, Hari Mony | 2007-11-20 |
| 7290229 | Method and system for optimized handling of constraints during symbolic simulation | Jason R. Baumgartner, Christian Jacobi, Kai Weber | 2007-10-30 |
| 7266795 | System and method for engine-controlled case splitting within multiple-engine based verification framework | Jason R. Baumgartner, Robert L. Kanzelman, Hari Mony | 2007-09-04 |
| 7260799 | Exploiting suspected redundancy for enhanced design verification | Jason R. Baumgartner, Robert L. Kanzelman, Hari Mony | 2007-08-21 |
| 7203915 | Method for retiming in the presence of verification constraints | Jason R. Baumgartner, Hari Mony, Jiazhao Xu | 2007-04-10 |
| 7093218 | Incremental, assertion-based design verification | Jason R. Baumgartner, Robert L. Kanzelman, Hari Mony | 2006-08-15 |
| 6993734 | Use of time step information in a design verification system | Jason R. Baumgartner, Hari Mony, Mark A. Williams | 2006-01-31 |
| 6983435 | Integrated design verification and design simplification system | Jason R. Baumgartner, Hari Mony | 2006-01-03 |
| 6698003 | Framework for multiple-engine based verification tools for integrated circuits | Jason R. Baumgartner, Geert Janssen, Andreas Kuehlmann, Louise H. Trevillyan | 2004-02-24 |
| 6473884 | Method and system for equivalence-checking combinatorial circuits using interative binary-decision-diagram sweeping and structural satisfiability analysis | Malay Ganai, Geert Janssen, Florian Krohm, Andreas Kuehlmann | 2002-10-29 |