Hari Mony

Person

Austin, TX, US

People

Patents Grantslast 30 patents

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
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
Enhanced case-splitting based property checking
- Patent number 8,997,030
- Issue date Mar 31, 2015
- International Business Machines Corporation
- Krishnan K. Kailas
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Enhanced case-splitting based property checking
- Patent number 8,978,001
- Issue date Mar 10, 2015
- International Business Machines Corporation
- Krishnan K. Kailas
- 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
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
Techniques for employing retiming and transient simplification on n...
- Patent number 8,418,106
- Issue date Apr 9, 2013
- International Business Machines Corporation
- Jason R. Baumgartner
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Logical circuit netlist reduction and model simplification using si...
- Patent number 8,418,119
- Issue date Apr 9, 2013
- International Business Machines Corporation
- Michael L. Case
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Enhancing redundancy removal with early merging
- Patent number 8,413,091
- Issue date Apr 2, 2013
- International Business Machines Corporation
- Jason R. Baumgartner
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Eliminating, coalescing, or bypassing ports in memory array represe...
- Patent number 8,336,016
- Issue date Dec 18, 2012
- International Business Machines Corporation
- Jason R. Baumgartner
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Techniques for analysis of logic designs with transient logic
- Patent number 8,327,302
- Issue date Dec 4, 2012
- International Business Machines Corporation
- Jason R. Baumgartner
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Minimizing memory array representations for enhanced synthesis and...
- Patent number 8,307,313
- Issue date Nov 6, 2012
- International Business Machines Corporation
- Jason R. Baumgartner
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Array concatenation in an integrated circuit design
- Patent number 8,291,359
- Issue date Oct 16, 2012
- International Business Machines Corporation
- Jason R. Baumgartner
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Optimal correlated array abstraction
- Patent number 8,245,166
- Issue date Aug 14, 2012
- International Business Machines Corporation
- Jason R. Baumgartner
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Scalable reduction in registers with SAT-based resubstitution
- Patent number 8,201,115
- Issue date Jun 12, 2012
- International Business Machines Corporation
- Jason R. Baumgartner
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Method for scalable derivation of an implication-based reachable st...
- Patent number 8,201,117
- Issue date Jun 12, 2012
- International Business Machines Corporation
- Jason R. Baumgartner
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Performing minimization of input count during structural netlist ov...
- Patent number 8,185,852
- Issue date May 22, 2012
- International Business Machines Corporation
- Jason R. Baumgartner
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Techniques for performing conditional sequential equivalence checki...
- Patent number 8,181,134
- Issue date May 15, 2012
- International Business Machines Corporation
- Jason R. Baumgartner
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Enhanced analysis of array-based netlists via reparameterization
- Patent number 8,181,131
- Issue date May 15, 2012
- International Business Machines Corporation
- Jason R. Baumgartner
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Automated convergence of ternary simulation by saturation of deep g...
- Patent number 8,171,437
- Issue date May 1, 2012
- International Business Machines Corporation
- Jason R. Baumgartner
- G06 - COMPUTING CALCULATING COUNTING

Patents Applicationslast 30 patents

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 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
Enhanced Case-Splitting Based Property Checking
- Publication number 20150074628
- Publication date Mar 12, 2015
- International Business Machines Corporation
- Krishnan K. Kailas
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
Enhanced Case-Splitting Based Property Checking
- Publication number 20150074624
- Publication date Mar 12, 2015
- International Business Machines Corporation
- Krishnan K. Kailas
- 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
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
Information Patent Application
METHOD AND SYSTEM FOR SCALABLE REDUCTION IN REGISTERS WITH SAT-BASE...
- Publication number 20120167024
- Publication date Jun 28, 2012
- International Buisness Machines Corporation
- JASON R. BAUMGARTNER
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
Optimal Correlated Array Abstraction
- Publication number 20120054701
- Publication date Mar 1, 2012
- International Business Machines Corporation
- Jason R. Baumgartner
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
Techniques for Employing Retiming and Transient Simplification on N...
- Publication number 20120054702
- Publication date Mar 1, 2012
- International Business Machines Corporation
- Jason R. Baumgartner
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
Minimizing Memory Array Representations for Enhanced Synthesis and...
- Publication number 20110276930
- Publication date Nov 10, 2011
- International Business Machines Corporation
- Jason R. Baumgartner
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
Eliminating, Coalescing, or Bypassing Ports in Memory Array Represe...
- Publication number 20110276931
- Publication date Nov 10, 2011
- International Business Machines Corporation
- Jason R. Baumgartner
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
Array Concatenation in an Integrated Circuit Design
- Publication number 20110276932
- Publication date Nov 10, 2011
- International Business Machines Corporation
- Jason R. Baumgartner
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
Tracking Array Data Contents Across Three-Valued Read and Write Ope...
- Publication number 20110270597
- Publication date Nov 3, 2011
- International Business Machines Corporation
- Jason R. Baumgartner
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
Enhanced Analysis of Array-Based Netlists via Reparameterization
- Publication number 20110271244
- Publication date Nov 3, 2011
- International Business Machines Corporation
- Jason R. Baumgartner
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
Enhanced Analysis of Array-Based Netlists Via Phase Abstraction
- Publication number 20110271243
- Publication date Nov 3, 2011
- International Business Machines Corporation
- Jason R. Baumgartner
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
Efficient Redundancy Identification, Redundancy Removal, and Sequen...
- Publication number 20110271242
- Publication date Nov 3, 2011
- International Business Machines Corporation
- Jason R. Baumgartner
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
TECHNIQUES FOR ANALYSIS OF LOGIC DESIGNS WITH TRANSIENT LOGIC
- Publication number 20110093825
- Publication date Apr 21, 2011
- International Business Machines Corporation
- Jason R. Baumgartner
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
TECHNIQUES FOR PERFORMING CONDITIONAL SEQUENTIAL EQUIVALENCE CHECKI...
- Publication number 20110093824
- Publication date Apr 21, 2011
- International Business Machines Corporation
- Jason R. Baumgartner
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
Trace Containment Detection of Combinational Designs via Constraint...
- Publication number 20100269077
- Publication date Oct 21, 2010
- International Business Machines Corporation
- Jason R. Baumgartner
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
Method and system for automated convergence of ternary simulation b...
- Publication number 20100251199
- Publication date Sep 30, 2010
- International Buisness Machines Corporation
- Jason R. Baumgartner
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
METHOD, SYSTEM AND APPLICATION FOR SEQUENTIAL COFACTOR-BASED ANALYS...
- Publication number 20100251197
- Publication date Sep 30, 2010
- International Business Machines Corporation
- Jason R. Baumgartner
- G06 - COMPUTING CALCULATING COUNTING

Person

Patents Grantslast 30 patents

Adaptive bug-search depth for simple and deep counterexamples

Adaptive bug-search depth for simple and deep counterexamples

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

Enhanced case-splitting based property checking

Enhanced case-splitting based property checking

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

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...

Techniques for employing retiming and transient simplification on n...

Logical circuit netlist reduction and model simplification using si...

Enhancing redundancy removal with early merging

Eliminating, coalescing, or bypassing ports in memory array represe...

Techniques for analysis of logic designs with transient logic

Minimizing memory array representations for enhanced synthesis and...

Array concatenation in an integrated circuit design

Optimal correlated array abstraction

Scalable reduction in registers with SAT-based resubstitution

Method for scalable derivation of an implication-based reachable st...

Performing minimization of input count during structural netlist ov...

Techniques for performing conditional sequential equivalence checki...

Enhanced analysis of array-based netlists via reparameterization

Automated convergence of ternary simulation by saturation of deep g...

Patents Applicationslast 30 patents

ADAPTIVE BUG-SEARCH DEPTH FOR SIMPLE AND DEEP COUNTEREXAMPLES

ADAPTIVE BUG-SEARCH DEPTH FOR SIMPLE AND DEEP COUNTEREXAMPLES

SCALABLE LIVENESS VERIFICATION VIA ABSTRACTION REFINEMENT

SCALABLE LIVENESS VERIFICATION VIA ABSTRACTION REFINEMENT

Enhanced Case-Splitting Based Property Checking

Enhanced Case-Splitting Based Property Checking

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...

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

METHOD AND SYSTEM FOR SCALABLE REDUCTION IN REGISTERS WITH SAT-BASE...

Optimal Correlated Array Abstraction

Techniques for Employing Retiming and Transient Simplification on N...

Minimizing Memory Array Representations for Enhanced Synthesis and...

Eliminating, Coalescing, or Bypassing Ports in Memory Array Represe...

Array Concatenation in an Integrated Circuit Design

Tracking Array Data Contents Across Three-Valued Read and Write Ope...

Enhanced Analysis of Array-Based Netlists via Reparameterization

Enhanced Analysis of Array-Based Netlists Via Phase Abstraction

Efficient Redundancy Identification, Redundancy Removal, and Sequen...

TECHNIQUES FOR ANALYSIS OF LOGIC DESIGNS WITH TRANSIENT LOGIC

TECHNIQUES FOR PERFORMING CONDITIONAL SEQUENTIAL EQUIVALENCE CHECKI...

Trace Containment Detection of Combinational Designs via Constraint...

Method and system for automated convergence of ternary simulation b...

METHOD, SYSTEM AND APPLICATION FOR SEQUENTIAL COFACTOR-BASED ANALYS...