Issued Patents All Time
Showing 26–50 of 75 patents
| Patent # | Title | Co-Inventors | Date |
|---|---|---|---|
| 8185852 | Performing minimization of input count during structural netlist overapproximation | Jason R. Baumgartner, Hari Mony, Viresh Paruthi | 2012-05-22 |
| 8181131 | Enhanced analysis of array-based netlists via reparameterization | Jason R. Baumgartner, Michael L. Case, Hari Mony | 2012-05-15 |
| 8146034 | Efficient Redundancy Identification, Redundancy Removal, and Sequential Equivalence Checking within Designs Including Memory Arrays. | Jason R. Baumgartner, Michael L. Case, Hari Mony | 2012-03-27 |
| 8122403 | Trace containment detection of combinational designs via constraint-based uncorrelated equivalence checking | Jason R. Baumgartner, Hari Mony, Viresh Paruthi | 2012-02-21 |
| 8042075 | Method, system and application for sequential cofactor-based analysis of netlists | Jason R. Baumgartner, Hari Mony, Viresh Paruthi | 2011-10-18 |
| 8015528 | Enhanced verification by closely coupling a structural satisfiability solver and rewriting algorithms | Jason R. Baumgartner, Hari Mony, Viresh Paruthi | 2011-09-06 |
| 8015523 | Method and system for sequential netlist reduction through trace-containment | Jason R. Baumgartner, Hari Mony, Viresh Paruthi | 2011-09-06 |
| 7996800 | Computer program product for design verification using sequential and combinational transformations | Jason Raymond Baumgarter, Hari Mony, Viresh Paruthi | 2011-08-09 |
| 7996803 | Automated use of uninterpreted functions in sequential equivalence | Jason R. Baumgartner, Hari Mony, Viresh Paruthi | 2011-08-09 |
| 7934180 | Incremental speculative merging | Jason R. Baumgartner, Hari Mony, Viresh Paruthi | 2011-04-26 |
| 7930672 | Incremental design reduction via iterative overapproximation and re-encoding strategies | Jason R. Baumgartner, Hari Mony, Viresh Paruthi | 2011-04-19 |
| 7921394 | Enhanced verification through binary decision diagram-based target decomposition | Jason R. Baumgartner, Hari Mony, Viresh Paruthi | 2011-04-05 |
| 7917884 | Enhanced verification by closely coupling a structural overapproximation algorithm and a structural satisfiability solver | Jason R. Baumgartner, Hari Mony, Viresh Paruthi | 2011-03-29 |
| 7913218 | Reduction of XOR/XNOR subexpressions in structural design representations | Jason R. Baumgartner, Hari Mony, Viresh Paruthi | 2011-03-22 |
| 7913208 | Optimal simplification of constraint-based testbenches | Jason R. Baumgartner, Hari Mony, Viresh Paruthi | 2011-03-22 |
| 7908575 | Enhanced verification through binary decision diagram-based target decomposition using state analysis extraction | Jason R. Baumgartner, Hari Mony, Viresh Paruthi | 2011-03-15 |
| 7882459 | Method and system for reduction of AND/OR subexpressions in structural design representations | Jason R. Baumgartner, Hari Mony, Viresh Paruthi | 2011-02-01 |
| 7831937 | Method and system for reduction of XOR/XNOR subexpressions in structural design representations | Jason R. Baumgartner, Hari Mony, Viresh Paruthi | 2010-11-09 |
| 7823093 | Method and system for reduction of and/or subexpressions in structural design representations | Jason R. Baumgartner, Hari Mony, Viresh Paruthi | 2010-10-26 |
| 7793242 | Method and system for performing heuristic constraint simplification | Jason R. Baumgartner, Hari Mony, Viresh Paruthi | 2010-09-07 |
| 7788616 | Method and system for performing heuristic constraint simplification | Jason R. Baumgartner, Hari Mony, Viresh Paruthi | 2010-08-31 |
| 7788618 | Scalable dependent state element identification | Jason R. Baumgartner, Geert Janssen, Viresh Paruthi | 2010-08-31 |
| 7779378 | Computer program product for extending incremental verification of circuit design to encompass verification restraints | Jason R. Baumgartner, Hari Mony, Viresh Paruthi | 2010-08-17 |
| 7743353 | Enhanced verification by closely coupling a structural overapproximation algorithm and a structural satisfiability solver | Jason R. Baumgartner, Hari Mony, Viresh Paruthi | 2010-06-22 |
| 7600209 | Generating constraint preserving testcases in the presence of dead-end constraints | Jason R. Baumgartner, Hari Mony, Viresh Paruthi | 2009-10-06 |