Issued Patents All Time
Showing 76–100 of 110 patents
| Patent # | Title | Co-Inventors | Date |
|---|---|---|---|
| 7448005 | Method and system for performing utilization of traces for incremental refinement in coupling a structural overapproximation algorithm and a satisfiability solver | Jason R. Baumgartner, Robert L. Kanzelman, Hari Mony | 2008-11-04 |
| 7437690 | Method for predicate-based compositional minimization in a verification environment | Jason R. Baumgartner, Hari Mony, Fadi A. Zaraket | 2008-10-14 |
| 7421669 | Using constraints in design verification | Jason R. Baumgartner, Hari Mony, Jiazhao Xu | 2008-09-02 |
| 7398488 | Trace equivalence identification through structural isomorphism detection with on the fly logic writing | Jason R. Baumgartner, Robert L. Kanzelman, Hari Mony | 2008-07-08 |
| 7380222 | Method and system for performing minimization of input count during structural netlist overapproximation | Jason R. Baumgartner, Robert L. Kanzelman, Hari Mony | 2008-05-27 |
| 7380221 | Method and system for reduction of and/or subexpressions in structural design representations | Jason R. Baumgartner, Robert L. Kanzelman, Hari Mony | 2008-05-27 |
| 7373624 | Method and system for performing target enlargement in the presence of constraints | Jason R. Baumgartner, Robert L. Kanzelman, Hari Mony | 2008-05-13 |
| 7370298 | Method for heuristic preservation of critical inputs during sequential reparameterization | Jason R. Baumgartner, Geert Janssen, Hari Mony | 2008-05-06 |
| 7370292 | Method for incremental design reduction via iterative overapproximation and re-encoding strategies | Jason R. Baumgartner, Robert L. Kanzelman, Hari Mony | 2008-05-06 |
| 7367001 | Method, system and computer program product for verification of digital designs using case-splitting via constrained internal signals | Jason R. Baumgartner, Christian Jacobi, Kai Weber | 2008-04-29 |
| 7367002 | Method and system for parametric reduction of sequential designs | Jason R. Baumgartner, Geert Janssen, Hari Mony | 2008-04-29 |
| 7363603 | Method and system for case-splitting on nodes in a symbolic simulation framework | Christian Jacobi, Geert Janssen, Kai Weber | 2008-04-22 |
| 7360181 | Enhanced structural redundancy detection | Jason R. Baumgartner, Hari Mony, Fadi Z. Zaraket | 2008-04-15 |
| 7360185 | Design verification using sequential and combinational transformations | Jason Raymond Baumgarter, Robert L. Kanzelman, Hari Mony | 2008-04-15 |
| 7356792 | Method and system for enhanced verification by closely coupling a structural overapproximation algorithm and a structural satisfiability solver | Jason R. Baumgartner, Robert L. Kanzelman, Hari Mony | 2008-04-08 |
| 7350179 | Method for improved synthesis of binary decision diagrams with inverted edges and quantifiable as well as nonquantifiable variables | Jason R. Baumgartner, Geert Janssen, Hari Mony | 2008-03-25 |
| 7350169 | Method and system for enhanced verification through structural target decomposition | Jason R. Baumgartner, Robert L. Kanzelman, Hari Mony | 2008-03-25 |
| 7350166 | Method and system for reversing the effects of sequential reparameterization on traces | Jason R. Baumgartner, Geert Janssen, Hari Mony | 2008-03-25 |
| 7343573 | Method and system for enhanced verification through binary decision diagram-based target decomposition | Jason R. Baumgartner, Robert L. Kanzelman, Hari Mony | 2008-03-11 |
| 7340704 | Method and system for optimized automated case-splitting via constraints in a symbolic simulation framework | Jason R. Baumgartner, Christian Jacobi, Kai Weber | 2008-03-04 |
| 7340694 | Method and system for reduction of XOR/XNOR subexpressions in structural design representations | Jason R. Baumgartner, Robert L. Kanzelman, Hari Mony | 2008-03-04 |
| 7340473 | Method and system for building binary decision diagrams efficiently in a structural network representation of a digital circuit | Christian Jacobi, Geert Janssen, Jiazhao Xu, Kai Weber | 2008-03-04 |
| 7322017 | Method for verification using reachability overapproximation | Jason R. Baumgartner, Hari Mony, Jiazhao Xu | 2008-01-22 |
| 7315996 | Method and system for performing heuristic constraint simplification | Jason R. Baumgartner, Robert L. Kanzelman, Hari Mony | 2008-01-01 |
| 7302656 | Method and system for performing functional verification of logic circuits | Kai Weber, Christian Jacobi, Nico Gulden, Klaus Keuerleber | 2007-11-27 |