Inventor · disambiguated record
Jason R. Baumgartner
Also filed as: BAUMGARTNER JASON · BAUMGARTNER JASON R · BAUMGARTNER JASON RAYMOND
148 granted patents·13 pending applications·1,355 citations·filing 1998–2023
99Inventor score
Top patents by PatentIndex Score
161 records- 0192US7299432B2Method for preserving constraints during sequential reparameterizationIBM·Filed 2005·Granted Nov 20, 2007·29 cites·20 claims
- 0290US7882473B2Sequential equivalence checking for asynchronous verificationIBM·Filed 2007·Granted Feb 1, 2011·28 cites·21 claims
- 0389US7260799B2Exploiting suspected redundancy for enhanced design verificationIBM·Filed 2005·Granted Aug 21, 2007·21 cites·20 claims
- 0488US7437690B2Method for predicate-based compositional minimization in a verification environmentIBM·Filed 2005·Granted Oct 14, 2008·18 cites·5 claims
- 0588US7356792B2Method and system for enhanced verification by closely coupling a structural overapproximation algorithm and a structural satisfiability solverIBM·Filed 2006·Granted Apr 8, 2008·14 cites·5 claims
- 0688US6438556B1Method and system for compressing data which allows access to data without full uncompressionIBM·Filed 1998·Granted Aug 20, 2002·105 cites·20 claims
- 0787US8181134B2Techniques for performing conditional sequential equivalence checking of an integrated circuit logic designBAUMGARTNER JASON R·Filed 2009·Granted May 15, 2012·15 cites·20 claims
- 0887US7367002B2Method and system for parametric reduction of sequential designsIBM·Filed 2005·Granted Apr 29, 2008·16 cites·7 claims
- 0986US6795963B1Method and system for optimizing systems with enhanced debugging informationIBM·Filed 1999·Granted Sep 21, 2004·129 cites·4 claims
- 1085US7448005B2Method and system for performing utilization of traces for incremental refinement in coupling a structural overapproximation algorithm and a satisfiability solverIBM·Filed 2006·Granted Nov 4, 2008·13 cites·3 claims
- 1185US7315996B2Method and system for performing heuristic constraint simplificationIBM·Filed 2005·Granted Jan 1, 2008·11 cites·7 claims
- 1285US7290229B2Method and system for optimized handling of constraints during symbolic simulationIBM·Filed 2005·Granted Oct 30, 2007·16 cites·20 claims
- 1384US8146034B2Efficient Redundancy Identification, Redundancy Removal, and Sequential Equivalence Checking within Designs Including Memory Arrays.BAUMGARTNER JASON R·Filed 2010·Granted Mar 27, 2012·8 cites·20 claims
- 1484US7421669B2Using constraints in design verificationIBM·Filed 2005·Granted Sep 2, 2008·12 cites·5 claims
- 1584US7380222B2Method and system for performing minimization of input count during structural netlist overapproximationIBM·Filed 2005·Granted May 27, 2008·11 cites·5 claims
- 1684US6698003B2Framework for multiple-engine based verification tools for integrated circuitsIBM·Filed 2001·Granted Feb 24, 2004·38 cites·28 claims
- 1783US10210296B2Adaptive bug-search depth for simple and deep counterexamplesIBM·Filed 2017·Granted Feb 19, 2019·3 cites·6 claims
- 1883US8181131B2Enhanced analysis of array-based netlists via reparameterizationBAUMGARTNER JASON R·Filed 2010·Granted May 15, 2012·7 cites·20 claims
- 1983US7917874B2Reversing the effects of sequential reparameterization on tracesIBM·Filed 2008·Granted Mar 29, 2011·9 cites·6 claims
- 2083US7765514B2Method for improved synthesis of binary decision diagrams with inverted edges and quantifiable as well as nonquantifiable variablesIBM·Filed 2007·Granted Jul 27, 2010·9 cites·5 claims
- 2183US7370298B2Method for heuristic preservation of critical inputs during sequential reparameterizationIBM·Filed 2005·Granted May 6, 2008·11 cites·7 claims
- 2283US7203915B2Method for retiming in the presence of verification constraintsIBM·Filed 2005·Granted Apr 10, 2007·13 cites·20 claims
- 2382US10621297B1Initial-state and next-state value foldingIBM·Filed 2018·Granted Apr 14, 2020·4 cites·20 claims
- 2482US7350166B2Method and system for reversing the effects of sequential reparameterization on tracesIBM·Filed 2005·Granted Mar 25, 2008·9 cites·7 claims
- 2582US7350179B2Method for improved synthesis of binary decision diagrams with inverted edges and quantifiable as well as nonquantifiable variablesIBM·Filed 2005·Granted Mar 25, 2008·9 cites·6 claims
- 2682US7340694B2Method and system for reduction of XOR/XNOR subexpressions in structural design representationsIBM·Filed 2005·Granted Mar 4, 2008·9 cites·7 claims
- 2782US7010485B1Method and system of audio file searchingIBM·Filed 2000·Granted Mar 7, 2006·36 cites·12 claims
- 2881US10579770B2Scalable connectivity verification using conditional cut-pointsIBM·Filed 2018·Granted Mar 3, 2020·3 cites·20 claims
- 2981US8589837B1Constructing inductive counterexamples in a multi-algorithm verification frameworkBAUMGARTNER JASON R·Filed 2012·Granted Nov 19, 2013·6 cites·20 claims
- 3081US8578311B1Method and system for optimal diameter bounding of designs with complex feed-forward componentsBAUMGARTNER JASON R·Filed 2012·Granted Nov 5, 2013·6 cites·22 claims
- 3181US7752593B2Method for improved synthesis of binary decision diagrams with inverted edges and quantifiable as well as nonquantifiable variablesIBM·Filed 2007·Granted Jul 6, 2010·8 cites·6 claims
- 3281US7350169B2Method and system for enhanced verification through structural target decompositionIBM·Filed 2005·Granted Mar 25, 2008·8 cites·7 claims
- 3380US7266795B2System and method for engine-controlled case splitting within multiple-engine based verification frameworkIBM·Filed 2005·Granted Sep 4, 2007·10 cites·19 claims
- 3479US10789403B1Grouping and partitioning of properties for logic verificationIBM·Filed 2019·Granted Sep 29, 2020·3 cites·18 claims
- 3579US7779378B2Computer program product for extending incremental verification of circuit design to encompass verification restraintsIBM·Filed 2008·Granted Aug 17, 2010·8 cites·4 claims
- 3679US7689943B2Parametric reduction of sequential designIBM·Filed 2008·Granted Mar 30, 2010·8 cites·13 claims
- 3779US7475370B2System for verification using reachability overapproximationIBM·Filed 2007·Granted Jan 6, 2009·7 cites·7 claims
- 3879US6763505B2Apparatus and method for automated use of phase abstraction for enhanced verification of circuit designsIBM·Filed 2002·Granted Jul 13, 2004·26 cites·30 claims
- 3978US7934180B2Incremental speculative mergingIBM·Filed 2008·Granted Apr 26, 2011·8 cites·19 claims
- 4078US7793242B2Method and system for performing heuristic constraint simplificationIBM·Filed 2007·Granted Sep 7, 2010·6 cites·7 claims
- 4178US7788616B2Method and system for performing heuristic constraint simplificationIBM·Filed 2007·Granted Aug 31, 2010·6 cites·6 claims
- 4277US8352894B2Verification techniques for liveness checking of logic designsIBM·Filed 2012·Granted Jan 8, 2013·4 cites·20 claims
- 4377US7509605B2Extending incremental verification of circuit design to encompass verification restraintsIBM·Filed 2005·Granted Mar 24, 2009·7 cites·4 claims
- 4477US6738955B2Method and system for formal characterization of average performanceIBM·Filed 2000·Granted May 18, 2004·24 cites·21 claims
- 4576US8255848B2Logic design verification techniques for liveness checking with retimingBAUMGARTNER JASON R·Filed 2009·Granted Aug 28, 2012·7 cites·13 claims
- 4676US7856609B2Using constraints in design verificationIBM·Filed 2008·Granted Dec 21, 2010·6 cites·8 claims
- 4776US7284210B2Method for reconfiguration of random biases in a synthesized design without recompilationIBM·Filed 2005·Granted Oct 16, 2007·8 cites·20 claims
- 4875US7913205B2Method and system for reversing the effects of sequential reparameterization on tracesIBM·Filed 2008·Granted Mar 22, 2011·5 cites·7 claims
- 4975US7322017B2Method for verification using reachability overapproximationIBM·Filed 2004·Granted Jan 22, 2008·16 cites·7 claims
- 5074US8589327B2Efficiently determining boolean satisfiability with lazy constraintsBAUMGARTNER JASON R·Filed 2011·Granted Nov 19, 2013·3 cites·12 claims
Showing the top 50 of 161 patent records by PatentIndex Score.
Identity basis: PatentsView inventor disambiguation (2025Q4-odp release). How scoring works →