Issued Patents All Time
Showing 26–50 of 97 patents
| Patent # | Title | Co-Inventors | Date |
|---|---|---|---|
| 8201115 | Scalable reduction in registers with SAT-based resubstitution | Jason R. Baumgartner, Michael L. Case, Viresh Paruthi | 2012-06-12 |
| 8201117 | Method for scalable derivation of an implication-based reachable state set overapproximation | Jason R. Baumgartner, Michael L. Case, Geert Janssen | 2012-06-12 |
| 8185852 | Performing minimization of input count during structural netlist overapproximation | Jason R. Baumgartner, Robert L. Kanzelman, Viresh Paruthi | 2012-05-22 |
| 8181131 | Enhanced analysis of array-based netlists via reparameterization | Jason R. Baumgartner, Michael L. Case, Robert L. Kanzelman | 2012-05-15 |
| 8181134 | Techniques for performing conditional sequential equivalence checking of an integrated circuit logic design | Jason R. Baumgartner, Michael L. Case, Jun Sawada | 2012-05-15 |
| 8171437 | Automated convergence of ternary simulation by saturation of deep gates | Jason R. Baumgartner, Michael L. Case, Geert Janssen | 2012-05-01 |
| 8146034 | Efficient Redundancy Identification, Redundancy Removal, and Sequential Equivalence Checking within Designs Including Memory Arrays. | Jason R. Baumgartner, Michael L. Case, Robert L. Kanzelman | 2012-03-27 |
| 8122403 | Trace containment detection of combinational designs via constraint-based uncorrelated equivalence checking | Jason R. Baumgartner, Robert L. Kanzelman, Viresh Paruthi | 2012-02-21 |
| 8086429 | Predicate-based compositional minimization in a verification environment | Jason R. Baumgartner, Viresh Paruthi, Fadi A. Zaraket | 2011-12-27 |
| 8042075 | Method, system and application for sequential cofactor-based analysis of netlists | Jason R. Baumgartner, Robert L. Kanzelman, Viresh Paruthi | 2011-10-18 |
| 8037085 | Predicate selection in bit-level compositional transformations | Jason R. Baumgartner, Viresh Paruthi, Fadi Z. Zaraket | 2011-10-11 |
| 8015528 | Enhanced verification by closely coupling a structural satisfiability solver and rewriting algorithms | Jason R. Baumgartner, Robert L. Kanzelman, Viresh Paruthi | 2011-09-06 |
| 8015523 | Method and system for sequential netlist reduction through trace-containment | Jason R. Baumgartner, Robert L. Kanzelman, Viresh Paruthi | 2011-09-06 |
| 7996803 | Automated use of uninterpreted functions in sequential equivalence | Jason R. Baumgartner, Robert L. Kanzelman, Viresh Paruthi | 2011-08-09 |
| 7996800 | Computer program product for design verification using sequential and combinational transformations | Jason Raymond Baumgarter, Robert L. Kanzelman, Viresh Paruthi | 2011-08-09 |
| 7934180 | Incremental speculative merging | Jason R. Baumgartner, Robert L. Kanzelman, Viresh Paruthi | 2011-04-26 |
| 7930672 | Incremental design reduction via iterative overapproximation and re-encoding strategies | Jason R. Baumgartner, Robert L. Kanzelman, Viresh Paruthi | 2011-04-19 |
| 7921394 | Enhanced verification through binary decision diagram-based target decomposition | Jason R. Baumgartner, Robert L. Kanzelman, Viresh Paruthi | 2011-04-05 |
| 7917884 | Enhanced verification by closely coupling a structural overapproximation algorithm and a structural satisfiability solver | Jason R. Baumgartner, Robert L. Kanzelman, Viresh Paruthi | 2011-03-29 |
| 7917874 | Reversing the effects of sequential reparameterization on traces | Jason R. Baumgartner, Geert Janssen, Viresh Paruthi | 2011-03-29 |
| 7913205 | Method and system for reversing the effects of sequential reparameterization on traces | Jason R. Baumgartner, Geert Janssen, Viresh Paruthi | 2011-03-22 |
| 7913218 | Reduction of XOR/XNOR subexpressions in structural design representations | Jason R. Baumgartner, Robert L. Kanzelman, Viresh Paruthi | 2011-03-22 |
| 7913208 | Optimal simplification of constraint-based testbenches | Jason R. Baumgartner, Robert L. Kanzelman, Viresh Paruthi | 2011-03-22 |
| 7908575 | Enhanced verification through binary decision diagram-based target decomposition using state analysis extraction | Jason R. Baumgartner, Robert L. Kanzelman, Viresh Paruthi | 2011-03-15 |
| 7890901 | Method and system for verifying the equivalence of digital circuits | Tobias Gemmeke, Jens Leenstra, Nicolas Maeding | 2011-02-15 |