Pflugerville, TX, United States of America

Michael L Case

USPTO Granted Patents = 25 (Patent Applications = 1)

Average Co-Inventor Count = 3.6

ph-index = 5

Forward Citations = 59(Granted Patents)

Company Filing History:

24 out of 164,108

International Business Machines Corporation

patents

1 out of 672

Mentor Graphics Corporation

patents

Years Active: 2012-2016

where 'Filed Patents' based on already Granted Patents

25 patents (USPTO):Sort by Forward Citations

Abstract keywords

1. 9384167 - Formal verification of booth multipliers (2016-07-05),

2. 9280626 - Efficiently determining Boolean satisfiability with lazy constraints (2016-03-08),

3. 8589837 - Constructing inductive counterexamples in a multi-algorithm verification framework (2013-11-19),

4. 8589327 - Efficiently determining boolean satisfiability with lazy constraints (2013-11-19),

5. 8578311 - Method and system for optimal diameter bounding of designs with complex feed-forward components (2013-11-05),

6. 8566764 - Enhanced analysis of array-based netlists via phase abstraction (2013-10-22),

7. 8527922 - Method and system for optimal counterexample-guided proof-based abstraction (2013-09-03),

8. 8484591 - Enhancing redundancy removal with early merging (2013-07-09),

9. 8478574 - Tracking array data contents across three-valued read and write operations (2013-07-02),

10. 8473882 - Method and system for scalable reduction in registers with SAT-based resubstitution (2013-06-25),

11. 8418119 - Logical circuit netlist reduction and model simplification using simulation results containing symbolic values (2013-04-09),

12. 8418106 - Techniques for employing retiming and transient simplification on netlists that include memory arrays (2013-04-09),

13. 8418093 - Method and system for design simplification through implication-based analysis (2013-04-09),

14. 8413091 - Enhancing redundancy removal with early merging (2013-04-02),

15. 8336016 - Eliminating, coalescing, or bypassing ports in memory array representations (2012-12-18),

Title: Innovations and Contributions of Michael L Case

Introduction

Michael L Case, an accomplished inventor located in Pflugerville, TX, has made significant contributions to the field of technology with an impressive portfolio of 25 patents. His inventive spirit shines through in a variety of innovative solutions, particularly in areas pertaining to circuit design and Boolean satisfiability.

Latest Patents

One of Michael's latest patents focuses on the "Formal verification of booth multipliers." This patent describes methods and systems to perform formal verification effectively. It includes receiving a specification of a Booth multiplier circuit, performing a model checking operation for a smaller version of the circuit, and then executing additional model checking operations for incrementally larger circuits. The process facilitates a systematic verification result for the Booth multiplier circuit.

Another notable invention is "Efficiently determining Boolean satisfiability with lazy constraints." This patent provides a mechanism for effectively determining Boolean satisfiability (SAT) while utilizing lazy constraints. It outlines a method for fixing variable assignments that satisfy the SAT problem, ensuring that any added constraints do not affect these assignments. This approach enhances the efficiency of resolving SAT problems.

Career Highlights

Throughout his career, Michael has had the opportunity to work with prominent companies, including IBM and Mentor Graphics Corporation. His experience at these leading firms has likely enriched his expertise and contributed to his innovative prowess in the technology sector.

Collaborations

Michael has collaborated with notable professionals, including Jason Raymond Baumgartner and Hari Mony. Working alongside these talented individuals has undoubtedly fostered a creative environment for innovation and driven further advancements in their respective fields.

Conclusion

Michael L Case exemplifies the spirit of innovation through his extensive patent portfolio and collaborations within the tech industry. His contributions, particularly in formal verification and Boolean satisfiability, highlight the impact of his work in enhancing the efficiency and reliability of technological solutions. As he continues to innovate, Michael's inventions will undoubtedly shape the future of technology.

This text is generated by artificial intelligence and may not be accurate.

Please report any incorrect information to support@idiyas.com

1 patent pending:

Please report any incorrect information to support@idiyas.com

Inventor’s Patent Attorneys refers to legal professionals with specialized expertise in representing inventors throughout the patent process. These attorneys assist inventors in navigating the complexities of patent law, including filing patent applications, conducting patent searches, and protecting intellectual property rights. They play a crucial role in helping inventors secure patents for their innovative creations.