Inventor · Pflugerville, TX, US

Michael L. Case

27Patents
5h-index
11Co-inventors
58Inventor score

Filing activity: Aug 14, 2008 → Sep 24, 2013

Most-cited inventions

PatentTitleAreaCited byStatus
US8181134B2 Techniques for performing conditional sequential equivalence checking of an integrated circuit logic design Physics 11 Active
US8146034B2 Efficient Redundancy Identification, Redundancy Removal, and Sequential Equivalence Checking within Designs Including Memory Arrays. Physics 7 Active
US8578311B1 Method and system for optimal diameter bounding of designs with complex feed-forward components Physics 6 Active
US8181131B2 Enhanced analysis of array-based netlists via reparameterization Physics 5 Active
US8589837B1 Constructing inductive counterexamples in a multi-algorithm verification framework Physics 5 Active
US8418119B2 Logical circuit netlist reduction and model simplification using simulation results containing symbolic values Physics 4 Active
US8307313B2 Minimizing memory array representations for enhanced synthesis and verification Physics 3 Active
US8527922B1 Method and system for optimal counterexample-guided proof-based abstraction Physics 3 Active
US8245166B2 Optimal correlated array abstraction Physics 3 Active
US8327302B2 Techniques for analysis of logic designs with transient logic Physics 3 Active
US8473882B2 Method and system for scalable reduction in registers with SAT-based resubstitution Physics 2 Active
US8418093B2 Method and system for design simplification through implication-based analysis Physics 2 Active
US8566764B2 Enhanced analysis of array-based netlists via phase abstraction Physics 1 Active
US8418106B2 Techniques for employing retiming and transient simplification on netlists that include memory arrays Physics 1 Active
US8589327B2 Efficiently determining boolean satisfiability with lazy constraints Physics 1 Active
US8171437B2 Automated convergence of ternary simulation by saturation of deep gates Physics 1 Active
US8201117B2 Method for scalable derivation of an implication-based reachable state set overapproximation Physics 1 Active
US8201115B2 Scalable reduction in registers with SAT-based resubstitution Physics 1 Active
US8484591B2 Enhancing redundancy removal with early merging Physics 0 Active
US8215449B2 Muffler system for noise abatement and ice control Emerging Cross-Sectional Technologies 0 Active
US8413091B2 Enhancing redundancy removal with early merging Physics 0 Active
US8291359B2 Array concatenation in an integrated circuit design Physics 0 Active
US8478574B2 Tracking array data contents across three-valued read and write operations Physics 0 Active
US9280626B2 Efficiently determining Boolean satisfiability with lazy constraints Physics 0 Active
US9784038B2 High-productivity drill bits Fixed Constructions 0 Active

Source: USPTO / EPO open patent data. Inventor disambiguation is heuristic; counts are objective bibliographic measures.