Michael L. Case

Person

Pflugerville, TX, US

People

Patents Grantslast 30 patents

Information Patent Grant
Formal verification of booth multipliers
- Patent number 9,384,167
- Issue date Jul 5, 2016
- Mentor Graphics Corporation
- Michael L. Case
- 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
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
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
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
Information Patent Grant
Efficient Redundancy Identification, Redundancy Removal, and Sequen...
- Patent number 8,146,034
- Issue date Mar 27, 2012
- International Business Machines Corporation
- Jason R. Baumgartner
- G06 - COMPUTING CALCULATING COUNTING

Patents Applicationslast 30 patents

Information Patent Application
FORMAL VERIFICATION OF BOOTH MULTIPLIERS
- Publication number 20140067897
- Publication date Mar 6, 2014
- CALYPTO DESIGN SYSTEMS, INC.
- Michael L. Case
- 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
Method and System for Design Simplification Through Implication-Bas...
- Publication number 20100293513
- Publication date Nov 18, 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 FOR SCALABLE DERIVATION OF AN IMPLICATION-BASED REACHABLE ST...
- Publication number 20100185993
- Publication date Jul 22, 2010
- 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 20100042965
- Publication date Feb 18, 2010
- International Business Machines Corporation
- Jason R. Baumgartner
- G06 - COMPUTING CALCULATING COUNTING

Michael L. Case

Person

Patents Grantslast 30 patents

Formal verification of booth multipliers

Efficiently determining Boolean satisfiability with lazy constraints

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

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

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

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

Patents Applicationslast 30 patents

FORMAL VERIFICATION OF BOOTH MULTIPLIERS

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

Method and System for Design Simplification Through Implication-Bas...

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

METHOD FOR SCALABLE DERIVATION OF AN IMPLICATION-BASED REACHABLE ST...

Method and System for Scalable Reduction in Registers With Sat-Base...