Issued Patents All Time
Showing 51–75 of 110 patents
| Patent # | Title | Co-Inventors | Date |
|---|---|---|---|
| 7836413 | Building binary decision diagrams efficiently in a structural network representation of a digital circuit | Christian Jacobi, Geert Janssen, Jiazhao Xu, Kai Weber | 2010-11-16 |
| 7831937 | Method and system for reduction of XOR/XNOR subexpressions in structural design representations | Jason R. Baumgartner, Robert L. Kanzelman, Hari Mony | 2010-11-09 |
| 7823093 | Method and system for reduction of and/or subexpressions in structural design representations | Jason R. Baumgartner, Robert L. Kanzelman, Hari Mony | 2010-10-26 |
| 7793242 | Method and system for performing heuristic constraint simplification | Jason R. Baumgartner, Robert L. Kanzelman, Hari Mony | 2010-09-07 |
| 7788615 | Computer program product for verification using reachability overapproximation | Jason R. Baumgartner, Hari Mony, Jiazhao Xu | 2010-08-31 |
| 7788616 | Method and system for performing heuristic constraint simplification | Jason R. Baumgartner, Robert L. Kanzelman, Hari Mony | 2010-08-31 |
| 7788618 | Scalable dependent state element identification | Jason R. Baumgartner, Geert Janssen, Robert L. Kanzelman | 2010-08-31 |
| 7779378 | Computer program product for extending incremental verification of circuit design to encompass verification restraints | Jason R. Baumgartner, Robert L. Kanzelman, Hari Mony | 2010-08-17 |
| 7765514 | 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 | 2010-07-27 |
| 7752593 | 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 | 2010-07-06 |
| 7752583 | System for verification of digital designs using case-splitting via constrained internal signals | Jason R. Baumgartner, Christian Jacobi, Kai Weber | 2010-07-06 |
| 7752369 | Bounded starvation checking of an arbiter using formal verification | Krishnan K. Kailas, Brian Chan Monwai | 2010-07-06 |
| 7743353 | Enhanced verification by closely coupling a structural overapproximation algorithm and a structural satisfiability solver | Jason R. Baumgartner, Robert L. Kanzelman, Hari Mony | 2010-06-22 |
| 7739635 | Conjunctive BDD building and variable quantification using case-splitting | Jason R. Baumgartner, Christian Jacobi, Jiazhao Xu | 2010-06-15 |
| 7734452 | Method and system for performing ternary verification | Jason R. Baumgartner, Hari Mony, Matyas A. Sustik | 2010-06-08 |
| 7689943 | Parametric reduction of sequential design | Jason R. Baumgartner, Geert Janssen, Hari Mony | 2010-03-30 |
| 7600209 | Generating constraint preserving testcases in the presence of dead-end constraints | Jason R. Baumgartner, Robert L. Kanzelman, Hari Mony | 2009-10-06 |
| 7552407 | Method and system for performing target enlargement in the presence of constraints | Jason R. Baumgartner, Robert L. Kanzelman, Hari Mony | 2009-06-23 |
| 7546561 | System and method of state point correspondence with constrained function determination | Travis W. Pouarz | 2009-06-09 |
| 7509605 | Extending incremental verification of circuit design to encompass verification restraints | Jason R. Baumgartner, Robert L. Kanzelman, Hari Mony | 2009-03-24 |
| 7506290 | Method and system for case-splitting on nodes in a symbolic simulation framework | Christian Jacobi, Geert Janssen, Kai Weber | 2009-03-17 |
| 7478344 | Method and system for enhanced verification by closely coupling a structural satisfiability solver and rewriting algorithms | Jason R. Baumgartner, Robert L. Kanzelman, Hari Mony | 2009-01-13 |
| 7475371 | Method and system for case-splitting on nodes in a symbolic simulation framework | Christian Jacobi, Geert Janssen, Kai Weber | 2009-01-06 |
| 7475370 | System for verification using reachability overapproximation | Jason R. Baumgartner, Hari Mony, Jiazhao Xu | 2009-01-06 |
| 7458048 | Computer program product for verification of digital designs using case-splitting via constrained internal signals | Jason R. Baumgartner, Christian Jacobi, Kai Weber | 2008-11-25 |