Patent | Date |
---|
Initial-state and next-state value folding Grant 10,621,297 - Baumgartner , et al. | 2020-04-14 |
Initial-state And Next-state Value Folding App 20200104434 - BAUMGARTNER; Jason R. ;   et al. | 2020-04-02 |
Equivalency verification for hierarchical references Grant 10,565,338 - El-Zein , et al. Feb | 2020-02-18 |
Verification complexity reduction via range-preserving input-to-constant conversion Grant 10,540,468 - Gajavelly , et al. Ja | 2020-01-21 |
Verification Complexity Reduction Via Range-preserving Input-to-constant Conversion App 20200019653 - Gajavelly; Raj Kumar ;   et al. | 2020-01-16 |
Equivalency Verification For Hierarchical References App 20190179974 - El-Zein; Ali S. ;   et al. | 2019-06-13 |
Method for scalable liveness verification via abstraction refinement Grant 9,483,595 - Baumgartner , et al. November 1, 2 | 2016-11-01 |
System and program product for scalable liveness verification via abstraction refinement Grant 9,471,734 - Baumgartner , et al. October 18, 2 | 2016-10-18 |
Scalable Liveness Verification Via Abstraction Refinement App 20160210389 - Baumgartner; Jason R. ;   et al. | 2016-07-21 |
Scalable Liveness Verification Via Abstraction Refinement App 20160210388 - Baumgartner; Jason R. ;   et al. | 2016-07-21 |
Efficiently determining Boolean satisfiability with lazy constraints Grant 9,280,626 - Baumgartner , et al. March 8, 2 | 2016-03-08 |
Efficiently determining boolean satisfiability with lazy constraints Grant 8,589,327 - Baumgartner , et al. November 19, 2 | 2013-11-19 |
Constructing inductive counterexamples in a multi-algorithm verification framework Grant 8,589,837 - Baumgartner , et al. November 19, 2 | 2013-11-19 |
Method And System For Optimal Diameter Bounding Of Designs With Complex Feed-forward Components App 20130305197 - Baumgartner; Jason R. ;   et al. | 2013-11-14 |
Method and system for optimal diameter bounding of designs with complex feed-forward components Grant 8,578,311 - Baumgartner , et al. November 5, 2 | 2013-11-05 |
Constructing Inductive Counterexamples In A Multi-algorithm Verification Framework App 20130290918 - Baumgartner; Jason R. ;   et al. | 2013-10-31 |
Method and system for optimal counterexample-guided proof-based abstraction Grant 8,527,922 - Baumgartner , et al. September 3, 2 | 2013-09-03 |
Enhancing redundancy removal with early merging Grant 8,484,591 - Baumgartner , et al. July 9, 2 | 2013-07-09 |
Tracking array data contents across three-valued read and write operations Grant 8,478,574 - Baumgartner , et al. July 2, 2 | 2013-07-02 |
Method and system for design simplification through implication-based analysis Grant 8,418,093 - Baumgartner , et al. April 9, 2 | 2013-04-09 |
Techniques for employing retiming and transient simplification on netlists that include memory arrays Grant 8,418,106 - Baumgartner , et al. April 9, 2 | 2013-04-09 |
Logical circuit netlist reduction and model simplification using simulation results containing symbolic values Grant 8,418,119 - Case , et al. April 9, 2 | 2013-04-09 |
Enhancing redundancy removal with early merging Grant 8,413,091 - Baumgartner , et al. April 2, 2 | 2013-04-02 |
Methods and apparatus for boolean equivalency checking in the presence of voting logic Grant 8,407,638 - Acuna , et al. March 26, 2 | 2013-03-26 |
Eliminating, coalescing, or bypassing ports in memory array representations Grant 8,336,016 - Baumgartner , et al. December 18, 2 | 2012-12-18 |
Techniques for analysis of logic designs with transient logic Grant 8,327,302 - Baumgartner , et al. December 4, 2 | 2012-12-04 |
Reachability Analysis By Logical Circuit Simulation For Providing Output Sets Containing Symbolic Values App 20120290282 - Case; Michael L. ;   et al. | 2012-11-15 |
Logical Circuit Netlist Reduction And Model Simplification Using Simulation Results Containing Symbolic Values App 20120290992 - Case; Michael L. ;   et al. | 2012-11-15 |
Minimizing memory array representations for enhanced synthesis and verification Grant 8,307,313 - Baumgartner , et al. November 6, 2 | 2012-11-06 |
Efficiently Determining Boolean Satisfiability with Lazy Constraints App 20120271792 - Baumgartner; Jason R. ;   et al. | 2012-10-25 |
Enhancing Redundancy Removal with Early Merging App 20120272197 - Baumgartner; Jason R. ;   et al. | 2012-10-25 |
Efficiently Determining Boolean Satisfiability with Lazy Constraints App 20120271786 - Baumgartner; Jason R. ;   et al. | 2012-10-25 |
Enhancing Redundancy Removal with Early Merging App 20120272198 - Baumgartner; Jason R. ;   et al. | 2012-10-25 |
Optimal correlated array abstraction Grant 8,245,166 - Baumgartner , et al. August 14, 2 | 2012-08-14 |
Performing minimization of input count during structural netlist overapproximation Grant 8,185,852 - Baumgartner , et al. May 22, 2 | 2012-05-22 |
Enhanced analysis of array-based netlists via reparameterization Grant 8,181,131 - Baumgartner , et al. May 15, 2 | 2012-05-15 |
Efficient Redundancy Identification, Redundancy Removal, and Sequential Equivalence Checking within Designs Including Memory Arrays. Grant 8,146,034 - Baumgartner , et al. March 27, 2 | 2012-03-27 |
Techniques for Employing Retiming and Transient Simplification on Netlists That Include Memory Arrays App 20120054702 - BAUMGARTNER; JASON R. ;   et al. | 2012-03-01 |
Optimal Correlated Array Abstraction App 20120054701 - Baumgartner; Jason R. ;   et al. | 2012-03-01 |
Trace containment detection of combinational designs via constraint-based uncorrelated equivalence checking Grant 8,122,403 - Baumgartner , et al. February 21, 2 | 2012-02-21 |
Eliminating, Coalescing, or Bypassing Ports in Memory Array Representations App 20110276931 - Baumgartner; Jason R. ;   et al. | 2011-11-10 |
Array Concatenation in an Integrated Circuit Design App 20110276932 - Baumgartner; Jason R. ;   et al. | 2011-11-10 |
Minimizing Memory Array Representations for Enhanced Synthesis and Verification App 20110276930 - Baumgartner; Jason R. ;   et al. | 2011-11-10 |
Enhanced Analysis of Array-Based Netlists via Reparameterization App 20110271244 - Baumgartner; Jason R. ;   et al. | 2011-11-03 |
Efficient Redundancy Identification, Redundancy Removal, and Sequential Equivalence Checking within Designs Including Memory Arrays App 20110271242 - Baumgartner; Jason R. ;   et al. | 2011-11-03 |
Tracking Array Data Contents Across Three-Valued Read and Write Operations App 20110270597 - Baumgartner; Jason R. ;   et al. | 2011-11-03 |
Method, system and application for sequential cofactor-based analysis of netlists Grant 8,042,075 - Baumgartner , et al. October 18, 2 | 2011-10-18 |
Method and system for sequential netlist reduction through trace-containment Grant 8,015,523 - Baumgartner , et al. September 6, 2 | 2011-09-06 |
Enhanced verification by closely coupling a structural satisfiability solver and rewriting algorithms Grant 8,015,528 - Baumgartner , et al. September 6, 2 | 2011-09-06 |
Automated use of uninterpreted functions in sequential equivalence Grant 7,996,803 - Baumgartner , et al. August 9, 2 | 2011-08-09 |
Techniques For Analysis Of Logic Designs With Transient Logic App 20110093825 - Baumgartner; Jason R. ;   et al. | 2011-04-21 |
Enhanced verification by closely coupling a structural overapproximation algorithm and a structural satisfiability solver Grant 7,917,884 - Baumgartner , et al. March 29, 2 | 2011-03-29 |
Method and System for Design Simplification Through Implication-Based Analysis App 20100293513 - BAUMGARTNER; JASON R. ;   et al. | 2010-11-18 |
Trace Containment Detection of Combinational Designs via Constraint-Based Uncorrelated Equivalence Checking App 20100269077 - Baumgartner; Jason R. ;   et al. | 2010-10-21 |
Method, System And Application For Sequential Cofactor-based Analysis Of Netlists App 20100251197 - BAUMGARTNER; JASON R. ;   et al. | 2010-09-30 |
Method and system for performing heuristic constraint simplification Grant 7,793,242 - Baumgartner , et al. September 7, 2 | 2010-09-07 |
Method and system for performing heuristic constraint simplification Grant 7,788,616 - Baumgartner , et al. August 31, 2 | 2010-08-31 |
Method and System for Sequential Netlist Reduction Through Trace-Containment App 20100218148 - Baumgartner; Jason R. ;   et al. | 2010-08-26 |
Method and System for Automated Use of Uninterpreted Functions in Sequential Equivalence Checking App 20100199241 - Baumgartner; Jason R. ;   et al. | 2010-08-05 |
Enhanced verification by closely coupling a structural overapproximation algorithm and a structural satisfiability solver Grant 7,743,353 - Baumgartner , et al. June 22, 2 | 2010-06-22 |
Generating constraint preserving testcases in the presence of dead-end constraints Grant 7,600,209 - Baumgartner , et al. October 6, 2 | 2009-10-06 |
Method and system for performing target enlargement in the presence of constraints Grant 7,552,407 - Baumgartner , et al. June 23, 2 | 2009-06-23 |
Methods And Apparatus For Boolean Equivalency Checking In The Presence Of Voting Logic App 20090125856 - Acuna; Victor A. ;   et al. | 2009-05-14 |
Method and System for Enhanced Verification By Closely Coupling a Structural Satisfiability Solver and Rewriting Algorithms App 20090094563 - Baumgartner; Jason R. ;   et al. | 2009-04-09 |
Methods and apparatus for Boolean equivalency checking in the presence of voting logic Grant 7,480,877 - Acuna , et al. January 20, 2 | 2009-01-20 |
Method and system for enhanced verification by closely coupling a structural satisfiability solver and rewriting algorithms Grant 7,478,344 - Baumgartner , et al. January 13, 2 | 2009-01-13 |
Method And System For Performing Minimization Of Input Count During Structural Netlist Overapproximation App 20080307372 - BAUMGARTNER; JASON R. ;   et al. | 2008-12-11 |
Method and system for performing utilization of traces for incremental refinement in coupling a structural overapproximation algorithm and a satisfiability solver Grant 7,448,005 - Baumgartner , et al. November 4, 2 | 2008-11-04 |
Performing Utilization Of Traces For Incremental Refinement In Coupling A Structural Overapproximation Algorithm And A Satisfiability Solver App 20080229263 - BAUMGARTNER; JASON R. ;   et al. | 2008-09-18 |
Method And System For Performing Target Enlargement In The Presence Of Constraints App 20080216029 - Baumgartner; Jason R. ;   et al. | 2008-09-04 |
System and Method for Generating Constraint Preserving Testcases in the Presence of Dead-End Constraints App 20080195992 - Baumgartner; Jason R. ;   et al. | 2008-08-14 |
Trace equivalence identification through structural isomorphism detection with on the fly logic writing Grant 7,398,488 - Baumgartner , et al. July 8, 2 | 2008-07-08 |
Method and System for Enhanced Verification by Closely Coupling a Structural Overapproximation Algorithm and a Structural Satisfiability Solver App 20080134113 - Baumgartner; Jason R. ;   et al. | 2008-06-05 |
Method and system for performing minimization of input count during structural netlist overapproximation Grant 7,380,222 - Baumgartner , et al. May 27, 2 | 2008-05-27 |
Method and system for performing target enlargement in the presence of constraints Grant 7,373,624 - Baumgartner , et al. May 13, 2 | 2008-05-13 |
Method and System for Enhanced Verification by Closely Coupling a Structural Overapproximation Algorithm and a Structural Satisfiability Solver App 20080109776 - Baumgartner; Jason R. ;   et al. | 2008-05-08 |
Method and system for enhanced verification by closely coupling a structural overapproximation algorithm and a structural satisfiability solver Grant 7,356,792 - Baumgartner , et al. April 8, 2 | 2008-04-08 |
Method and System for Performing Heuristic Constraint Simplification App 20080066034 - Baumgartner; Jason R. ;   et al. | 2008-03-13 |
Method and System for Performing Heuristic Constraint Simplification App 20080066033 - BAUMGARTNER; JASON R. ;   et al. | 2008-03-13 |
Methods and Apparatus for Boolean Equivalency Checking in the Presence of Voting Logic App 20080040694 - Acuna; Victor A. ;   et al. | 2008-02-14 |
Method and system for performing heuristic constraint simplification Grant 7,315,996 - Baumgartner , et al. January 1, 2 | 2008-01-01 |
Trace Equivalence Identification Through Structural Isomorphism Detection With On The Fly Logic Writing App 20070271534 - Baumgartner; Jason R. ;   et al. | 2007-11-22 |
Method and system for sequential equivalence checking with multiple initial states App 20070220461 - Baumgartner; Jason R. ;   et al. | 2007-09-20 |
Method and system for enhanced verification by closely coupling a structural overapproximation algorithm and a structural satisfiability solver App 20070174798 - Baumgartner; Jason R. ;   et al. | 2007-07-26 |
Method and system for performing utilization of traces for incremental refinement in coupling a structural overapproximation algorithm and a satisfiability solver App 20070174799 - Baumgartner; Jason R. ;   et al. | 2007-07-26 |
Method and system for performing heuristic constraint simplification App 20070067746 - Baumgartner; Jason R. ;   et al. | 2007-03-22 |
Method and system for performing target enlargement in the presence of constraints App 20070061766 - Baumgartner; Jason R. ;   et al. | 2007-03-15 |
Method and system for performing minimization of input count during structural netlist overapproximation App 20070061767 - Baumgartner; Jason R. ;   et al. | 2007-03-15 |
Method and system for enhanced verification by closely coupling a structural satisfiability solver and rewriting algorithms App 20060236274 - Baumgartner; Jason R. ;   et al. | 2006-10-19 |
Method for mapping in logic synthesis by logic classification Grant 5,537,330 - Damiano , et al. July 16, 1 | 1996-07-16 |