Jason R. Baumgartner

Person

Austin, TX, US

People

Patents Grantslast 30 patents

Information Patent Grant
Detection of unintended dependencies in hardware designs with pseud...
- Patent number 11,740,872
- Issue date Aug 29, 2023
- International Business Machines Corporation
- Bradley Donald Bingham
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Scalable connectivity verification using conditional cut-points
- Patent number 10,970,454
- Issue date Apr 6, 2021
- International Business Machines Corporation
- Pradeep Kumar Nalla
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Grouping and partitioning of properties for logic verification
- Patent number 10,789,403
- Issue date Sep 29, 2020
- International Business Machines Corporation
- Rohit Dureja
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Initial-state and next-state value folding
- Patent number 10,621,297
- Issue date Apr 14, 2020
- International Business Machines Coporation
- Jason R. Baumgartner
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Scalable connectivity verification using conditional cut-points
- Patent number 10,579,770
- Issue date Mar 3, 2020
- International Business Machines Corporation
- Pradeep Kumar Nalla
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Verification complexity reduction via range-preserving input-to-con...
- Patent number 10,540,468
- Issue date Jan 21, 2020
- International Business Machines Corporation
- Raj Kumar Gajavelly
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Scalable liveness verification
- Patent number 10,474,777
- Issue date Nov 12, 2019
- International Business Machines Corporation
- Jason R. Baumgartner
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Adaptive bug-search depth for simple and deep counterexamples
- Patent number 10,394,987
- Issue date Aug 27, 2019
- International Business Machines Corporation
- Jason R. Baumgartner
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Adaptive bug-search depth for simple and deep counterexamples
- Patent number 10,210,296
- Issue date Feb 19, 2019
- International Business Machines Corporation
- Jason R. Baumgartner
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Scalable logic verification by identifying unate primary inputs
- Patent number 10,078,716
- Issue date Sep 18, 2018
- International Business Machines Corporation
- Jason R. Baumgartner
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Scalable logic verification by identifying unate primary inputs
- Patent number 9,922,153
- Issue date Mar 20, 2018
- International Business Machines Corporation
- Jason R. Baumgartner
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Lifting of bounded liveness counterexamples to concrete liveness co...
- Patent number 9,740,589
- Issue date Aug 22, 2017
- International Business Machines Corporation
- Jason R. Baumgartner
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Scalable and automated identification of unobservability causality...
- Patent number 9,715,564
- Issue date Jul 25, 2017
- International Business Machines Corporation
- Jason R. Baumgartner
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Lifting of bounded liveness counterexamples to concrete liveness co...
- Patent number 9,678,853
- Issue date Jun 13, 2017
- International Business Machines Corporation
- Jason R. Baumgartner
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Method for scalable liveness verification via abstraction refinement
- Patent number 9,483,595
- Issue date Nov 1, 2016
- International Business Machines Corporation
- Jason R. Baumgartner
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
System and program product for scalable liveness verification via a...
- Patent number 9,471,734
- Issue date Oct 18, 2016
- International Business Machines Corporation
- Jason R. Baumgartner
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Efficiently determining Boolean satisfiability with lazy constraints
- Patent number 9,280,626
- Issue date Mar 8, 2016
- International Business Machines Corporation
- Jason R. Baumgartner
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Method and system for performing invariant-guided abstraction of a...
- Patent number 8,850,372
- Issue date Sep 30, 2014
- International Business Machines Corporation
- Jason Raymond Baumgartner
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Optimizing a netlist circuit representation by leveraging binary de...
- Patent number 8,799,837
- Issue date Aug 5, 2014
- International Business Machines Corporation
- Jason Baumgartner
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Vectorization of bit-level netlists
- Patent number 8,739,085
- Issue date May 27, 2014
- International Business Machines Corporation
- Jason R. Baumgartner
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Verifying correctness of regular expression transformations that us...
- Patent number 8,688,608
- Issue date Apr 1, 2014
- International Business Machines Corporation
- Kubilay Atasu
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Constructing inductive counterexamples in a multi-algorithm verific...
- Patent number 8,589,837
- Issue date Nov 19, 2013
- International Business Machines Corporation
- Jason R. Baumgartner
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Efficiently determining boolean satisfiability with lazy constraints
- Patent number 8,589,327
- Issue date Nov 19, 2013
- International Business Machines Corporation
- Jason R. Baumgartner
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Method and system for optimal diameter bounding of designs with com...
- Patent number 8,578,311
- Issue date Nov 5, 2013
- International Business Machines Corporation
- Jason R. Baumgartner
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Enhanced analysis of array-based netlists via phase abstraction
- Patent number 8,566,764
- Issue date Oct 22, 2013
- International Business Machines Corporation
- Jason R. Baumgartner
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Method and system for optimal counterexample-guided proof-based abs...
- Patent number 8,527,922
- Issue date Sep 3, 2013
- International Business Machines Corporation
- Jason R. Baumgartner
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Enhancing redundancy removal with early merging
- Patent number 8,484,591
- Issue date Jul 9, 2013
- International Business Machines Corporation
- Jason R. Baumgartner
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Tracking array data contents across three-valued read and write ope...
- Patent number 8,478,574
- Issue date Jul 2, 2013
- International Business Machines Corporation
- Jason R. Baumgartner
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Method and system for scalable reduction in registers with SAT-base...
- Patent number 8,473,882
- Issue date Jun 25, 2013
- International Business Machines Corporation
- Jason R. Baumgartner
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Method and system for design simplification through implication-bas...
- Patent number 8,418,093
- Issue date Apr 9, 2013
- International Business Machines Corporation
- Jason R. Baumgartner
- G06 - COMPUTING CALCULATING COUNTING

Patents Applicationslast 30 patents

Information Patent Application
SCALABLE-LOGIC COVERAGE EVALUATION OF VERIFICATION TESTBENCHES
- Publication number 20240419880
- Publication date Dec 19, 2024
- International Business Machines Corporation
- Bradley Donald Bingham
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
SCALABLE, OPTIMAL RETIMING OF MULTI-CLOCKED NETLISTS
- Publication number 20240386172
- Publication date Nov 21, 2024
- International Business Machines Corporation
- Jason Raymond BAUMGARTNER
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
SCALABLE, OPTIMAL RETIMING OF MULTI-CLOCKED NETLISTS
- Publication number 20240386173
- Publication date Nov 21, 2024
- International Business Machines Corporation
- Jason Raymond BAUMGARTNER
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
EQUIVALENCE CHECKING OF SYNTHESIZED LOGIC DESIGNS USING GENERATED S...
- Publication number 20230394212
- Publication date Dec 7, 2023
- International Business Machines Corporation
- Alexander IVRII
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
DETECTION OF UNINTENDED DEPENDENCIES IN HARDWARE DESIGNS WITH PSEUD...
- Publication number 20220100474
- Publication date Mar 31, 2022
- International Business Machines Corporation
- BRADLEY Donald BINGHAM
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
SCALABLE CONNECTIVITY VERIFICATION USING CONDITIONAL CUT-POINTS
- Publication number 20200143101
- Publication date May 7, 2020
- International Business Machines Corporation
- Pradeep Kumar Nalla
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
INITIAL-STATE AND NEXT-STATE VALUE FOLDING
- Publication number 20200104434
- Publication date Apr 2, 2020
- International Business Machines Corporation
- Jason R. BAUMGARTNER
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
VERIFICATION COMPLEXITY REDUCTION VIA RANGE-PRESERVING INPUT-TO-CON...
- Publication number 20200019653
- Publication date Jan 16, 2020
- International Business Machines Corporation
- Raj Kumar Gajavelly
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
SCALABLE CONNECTIVITY VERIFICATION USING CONDITIONAL CUT-POINTS
- Publication number 20190286782
- Publication date Sep 19, 2019
- International Business Machines Corporation
- Pradeep Kumar Nalla
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
SCALABLE LIVENESS VERIFICATION
- Publication number 20190138664
- Publication date May 9, 2019
- International Business Machines Corporation
- Jason R. Baumgartner
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
ADAPTIVE BUG-SEARCH DEPTH FOR SIMPLE AND DEEP COUNTEREXAMPLES
- Publication number 20180276318
- Publication date Sep 27, 2018
- International Business Machines Corporation
- Jason R. Baumgartner
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
ADAPTIVE BUG-SEARCH DEPTH FOR SIMPLE AND DEEP COUNTEREXAMPLES
- Publication number 20180276317
- Publication date Sep 27, 2018
- International Business Machines Corporation
- Jason R. Baumgartner
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
SCALABLE LOGIC VERIFICATION BY IDENTIFYING UNATE PRIMARY INPUTS
- Publication number 20170323043
- Publication date Nov 9, 2017
- International Business Machines Corporation
- Jason R. BAUMGARTNER
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
SCALABLE LOGIC VERIFICATION BY IDENTIFYING UNATE PRIMARY INPUTS
- Publication number 20170323044
- Publication date Nov 9, 2017
- International Business Machines Corporation
- Jason R. BAUMGARTNER
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
SCALABLE AND AUTOMATED IDENTIFICATION OF UNOBSERVABILITY CAUSALITY...
- Publication number 20170124240
- Publication date May 4, 2017
- International Business Machines Corporation
- Jason R. Baumgartner
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
LIFTING OF BOUNDED LIVENESS COUNTEREXAMPLES TO CONCRETE LIVENESS CO...
- Publication number 20170010949
- Publication date Jan 12, 2017
- International Business Machines Corporation
- Jason R. Baumgartner
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
LIFTING OF BOUNDED LIVENESS COUNTEREXAMPLES TO CONCRETE LIVENESS CO...
- Publication number 20170010950
- Publication date Jan 12, 2017
- International Business Machines Corporation
- Jason R. Baumgartner
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
SCALABLE LIVENESS VERIFICATION VIA ABSTRACTION REFINEMENT
- Publication number 20160210389
- Publication date Jul 21, 2016
- International Business Machines Corporation
- Jason R. Baumgartner
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
SCALABLE LIVENESS VERIFICATION VIA ABSTRACTION REFINEMENT
- Publication number 20160210388
- Publication date Jul 21, 2016
- International Business Machines Corporation
- Jason R. Baumgartner
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
VECTORIZATION OF BIT-LEVEL NETLISTS
- Publication number 20140165015
- Publication date Jun 12, 2014
- International Business Machines Corporation
- Jason R. Baumgartner
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
METHOD AND SYSTEM FOR INVARIANT-GUIDED ABSTRACTION
- Publication number 20140115548
- Publication date Apr 24, 2014
- International Business Machines Corporation
- JASON RAYMOND BAUMGARTNER
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
METHOD AND SYSTEM FOR OPTIMAL DIAMETER BOUNDING OF DESIGNS WITH COM...
- Publication number 20130305197
- Publication date Nov 14, 2013
- IBM Corporation
- Jason R. Baumgartner
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
CONSTRUCTING INDUCTIVE COUNTEREXAMPLES IN A MULTI-ALGORITHM VERIFIC...
- Publication number 20130290918
- Publication date Oct 31, 2013
- IBM Corporation
- Jason R. Baumgartner
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
VERIFYING CORRECTNESS OF REGULAR EXPRESSION TRANSFORMATIONS THAT US...
- Publication number 20130007530
- Publication date Jan 3, 2013
- International Business Machines Corporation
- Kubilay Atasu
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
LOGICAL CIRCUIT NETLIST REDUCTION AND MODEL SIMPLIFICATION USING SI...
- Publication number 20120290992
- Publication date Nov 15, 2012
- International Business Machines Corporation
- Michael L. Case
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
REACHABILITY ANALYSIS BY LOGICAL CIRCUIT SIMULATION FOR PROVIDING O...
- Publication number 20120290282
- Publication date Nov 15, 2012
- International Business Machines Corporation
- Michael L. Case
Information Patent Application
Efficiently Determining Boolean Satisfiability with Lazy Constraints
- Publication number 20120271786
- Publication date Oct 25, 2012
- International Business Machines Corporation
- Jason R. Baumgartner
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
Enhancing Redundancy Removal with Early Merging
- Publication number 20120272198
- Publication date Oct 25, 2012
- International Business Machines Corporation
- Jason R. Baumgartner
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
Efficiently Determining Boolean Satisfiability with Lazy Constraints
- Publication number 20120271792
- Publication date Oct 25, 2012
- International Business Machines Corporation
- Jason R. Baumgartner
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
Enhancing Redundancy Removal with Early Merging
- Publication number 20120272197
- Publication date Oct 25, 2012
- International Business Machines Corporation
- Jason R. Baumgartner
- G06 - COMPUTING CALCULATING COUNTING

Jason R. Baumgartner

Person

Patents Grantslast 30 patents

Detection of unintended dependencies in hardware designs with pseud...

Scalable connectivity verification using conditional cut-points

Grouping and partitioning of properties for logic verification

Initial-state and next-state value folding

Scalable connectivity verification using conditional cut-points

Verification complexity reduction via range-preserving input-to-con...

Scalable liveness verification

Adaptive bug-search depth for simple and deep counterexamples

Adaptive bug-search depth for simple and deep counterexamples

Scalable logic verification by identifying unate primary inputs

Scalable logic verification by identifying unate primary inputs

Lifting of bounded liveness counterexamples to concrete liveness co...

Scalable and automated identification of unobservability causality...

Lifting of bounded liveness counterexamples to concrete liveness co...

Method for scalable liveness verification via abstraction refinement

System and program product for scalable liveness verification via a...

Efficiently determining Boolean satisfiability with lazy constraints

Method and system for performing invariant-guided abstraction of a...

Optimizing a netlist circuit representation by leveraging binary de...

Vectorization of bit-level netlists

Verifying correctness of regular expression transformations that us...

Constructing inductive counterexamples in a multi-algorithm verific...

Efficiently determining boolean satisfiability with lazy constraints

Method and system for optimal diameter bounding of designs with com...

Enhanced analysis of array-based netlists via phase abstraction

Method and system for optimal counterexample-guided proof-based abs...

Enhancing redundancy removal with early merging

Tracking array data contents across three-valued read and write ope...

Method and system for scalable reduction in registers with SAT-base...

Method and system for design simplification through implication-bas...

Patents Applicationslast 30 patents

SCALABLE-LOGIC COVERAGE EVALUATION OF VERIFICATION TESTBENCHES

SCALABLE, OPTIMAL RETIMING OF MULTI-CLOCKED NETLISTS

SCALABLE, OPTIMAL RETIMING OF MULTI-CLOCKED NETLISTS

EQUIVALENCE CHECKING OF SYNTHESIZED LOGIC DESIGNS USING GENERATED S...

DETECTION OF UNINTENDED DEPENDENCIES IN HARDWARE DESIGNS WITH PSEUD...

SCALABLE CONNECTIVITY VERIFICATION USING CONDITIONAL CUT-POINTS

INITIAL-STATE AND NEXT-STATE VALUE FOLDING

VERIFICATION COMPLEXITY REDUCTION VIA RANGE-PRESERVING INPUT-TO-CON...

SCALABLE CONNECTIVITY VERIFICATION USING CONDITIONAL CUT-POINTS

SCALABLE LIVENESS VERIFICATION

ADAPTIVE BUG-SEARCH DEPTH FOR SIMPLE AND DEEP COUNTEREXAMPLES

ADAPTIVE BUG-SEARCH DEPTH FOR SIMPLE AND DEEP COUNTEREXAMPLES

SCALABLE LOGIC VERIFICATION BY IDENTIFYING UNATE PRIMARY INPUTS

SCALABLE LOGIC VERIFICATION BY IDENTIFYING UNATE PRIMARY INPUTS

SCALABLE AND AUTOMATED IDENTIFICATION OF UNOBSERVABILITY CAUSALITY...

LIFTING OF BOUNDED LIVENESS COUNTEREXAMPLES TO CONCRETE LIVENESS CO...

LIFTING OF BOUNDED LIVENESS COUNTEREXAMPLES TO CONCRETE LIVENESS CO...

SCALABLE LIVENESS VERIFICATION VIA ABSTRACTION REFINEMENT

SCALABLE LIVENESS VERIFICATION VIA ABSTRACTION REFINEMENT

VECTORIZATION OF BIT-LEVEL NETLISTS

METHOD AND SYSTEM FOR INVARIANT-GUIDED ABSTRACTION

METHOD AND SYSTEM FOR OPTIMAL DIAMETER BOUNDING OF DESIGNS WITH COM...

CONSTRUCTING INDUCTIVE COUNTEREXAMPLES IN A MULTI-ALGORITHM VERIFIC...

VERIFYING CORRECTNESS OF REGULAR EXPRESSION TRANSFORMATIONS THAT US...

LOGICAL CIRCUIT NETLIST REDUCTION AND MODEL SIMPLIFICATION USING SI...

REACHABILITY ANALYSIS BY LOGICAL CIRCUIT SIMULATION FOR PROVIDING O...

Efficiently Determining Boolean Satisfiability with Lazy Constraints

Enhancing Redundancy Removal with Early Merging

Efficiently Determining Boolean Satisfiability with Lazy Constraints

Enhancing Redundancy Removal with Early Merging