Inventor · disambiguated record
Michael L. Case
Also filed as: CASE MICHAEL · CASE MICHAEL L · CASE MICHAEL LEE
27 granted patents·3 pending applications·76 citations·filing 2003–2022
94Inventor score
Files withBAUMGARTNER JASON R23CASE MICHAEL L2CALYPTO DESIGN SYSTEMS INC1CASE MICHAEL LEE1LONGYEAR TM INC1
Top patents by PatentIndex Score
30 records- 0187US8181134B2Techniques for performing conditional sequential equivalence checking of an integrated circuit logic designBAUMGARTNER JASON R·Filed 2009·Granted May 15, 2012·15 cites·20 claims
- 0284US8146034B2Efficient 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
- 0383US8181131B2Enhanced analysis of array-based netlists via reparameterizationBAUMGARTNER JASON R·Filed 2010·Granted May 15, 2012·7 cites·20 claims
- 0481US8589837B1Constructing inductive counterexamples in a multi-algorithm verification frameworkBAUMGARTNER JASON R·Filed 2012·Granted Nov 19, 2013·6 cites·20 claims
- 0581US8578311B1Method 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
- 0674US8589327B2Efficiently determining boolean satisfiability with lazy constraintsBAUMGARTNER JASON R·Filed 2011·Granted Nov 19, 2013·3 cites·12 claims
- 0774US8418119B2Logical circuit netlist reduction and model simplification using simulation results containing symbolic valuesCASE MICHAEL L·Filed 2011·Granted Apr 9, 2013·5 cites·21 claims
- 0873US8527922B1Method and system for optimal counterexample-guided proof-based abstractionBAUMGARTNER JASON R·Filed 2012·Granted Sep 3, 2013·3 cites·23 claims
- 0973US8307313B2Minimizing memory array representations for enhanced synthesis and verificationBAUMGARTNER JASON R·Filed 2010·Granted Nov 6, 2012·3 cites·20 claims
- 1072US8245166B2Optimal correlated array abstractionBAUMGARTNER JASON R·Filed 2010·Granted Aug 14, 2012·3 cites·22 claims
- 1170US8566764B2Enhanced analysis of array-based netlists via phase abstractionBAUMGARTNER JASON R·Filed 2010·Granted Oct 22, 2013·3 cites·20 claims
- 1270US8473882B2Method and system for scalable reduction in registers with SAT-based resubstitutionBAUMGARTNER JASON R·Filed 2012·Granted Jun 25, 2013·2 cites·20 claims
- 1370US8327302B2Techniques for analysis of logic designs with transient logicBAUMGARTNER JASON R·Filed 2009·Granted Dec 4, 2012·4 cites·17 claims
- 1466US8418093B2Method and system for design simplification through implication-based analysisBAUMGARTNER JASON R·Filed 2009·Granted Apr 9, 2013·3 cites·21 claims
- 1564US8201115B2Scalable reduction in registers with SAT-based resubstitutionBAUMGARTNER JASON R·Filed 2008·Granted Jun 12, 2012·2 cites·15 claims
- 1663US8418106B2Techniques for employing retiming and transient simplification on netlists that include memory arraysBAUMGARTNER JASON R·Filed 2010·Granted Apr 9, 2013·1 cites·14 claims
- 1759US8201117B2Method for scalable derivation of an implication-based reachable state set overapproximationBAUMGARTNER JASON R·Filed 2009·Granted Jun 12, 2012·1 cites·20 claims
- 1858US8171437B2Automated convergence of ternary simulation by saturation of deep gatesBAUMGARTNER JASON R·Filed 2009·Granted May 1, 2012·1 cites·19 claims
- 1951US9384167B2Formal verification of booth multipliersCALYPTO DESIGN SYSTEMS INC·Filed 2013·Granted Jul 5, 2016·0 cites·19 claims
- 2051US9280626B2Efficiently determining Boolean satisfiability with lazy constraintsBAUMGARTNER JASON R·Filed 2012·Granted Mar 8, 2016·0 cites·6 claims
- 2151US8484591B2Enhancing redundancy removal with early mergingBAUMGARTNER JASON R·Filed 2012·Granted Jul 9, 2013·0 cites·9 claims
- 2250US8413091B2Enhancing redundancy removal with early mergingBAUMGARTNER JASON R·Filed 2011·Granted Apr 2, 2013·0 cites·10 claims
- 2346US8291359B2Array concatenation in an integrated circuit designBAUMGARTNER JASON R·Filed 2010·Granted Oct 16, 2012·0 cites·20 claims
- 2445US8478574B2Tracking array data contents across three-valued read and write operationsBAUMGARTNER JASON R·Filed 2010·Granted Jul 2, 2013·0 cites·19 claims
- 2545US8336016B2Eliminating, coalescing, or bypassing ports in memory array representationsBAUMGARTNER JASON R·Filed 2010·Granted Dec 18, 2012·0 cites·23 claims
- 2645US2005071872A1Encoded video time-of-day information resolution and correctionFiled 2003·Application pending·0 cites
- 2743US2024378841A1Systems and methods for improved acoustic data and sample analysisVERACIO LTD·Filed 2022·Application pending·0 cites
- 2836US9784038B2High-productivity drill bitsLONGYEAR TM INC·Filed 2013·Granted Oct 10, 2017·0 cites·22 claims
- 2936US2012290282A1Reachability analysis by logical circuit simulation for providing output sets containing symbolic valuesCASE MICHAEL L·Filed 2011·Application pending·0 cites
- 3032US8215449B2Muffler system for noise abatement and ice controlCASE MICHAEL LEE·Filed 2009·Granted Jul 10, 2012·0 cites·21 claims
Join the waitlist — get patent alerts
Get an alert when Michael L. Case files or is granted a new patent.
We store only your email — no account needed. See our privacy policy.
Identity basis: PatentsView inventor disambiguation (2025Q4-odp release). How scoring works →