Patrick Peters

Title: The Innovative Mind of Patrick Peters

Introduction

Patrick Peters is a notable inventor based in Austin, TX. He has made significant contributions to the field of semiconductor design through his innovative methods. His work focuses on enhancing the verification processes in semiconductor designs, which is crucial for ensuring the reliability and functionality of electronic devices.

Latest Patents

Patrick Peters holds a patent for a "Method for piecewise hierarchical sequential verification." This invention describes a method for accomplishing sequential logical equivalence verification using a hierarchical piecewise approach. Initially, the method provides a reference semiconductor design and a second semiconductor design with logic edits relative to it. The method submits both to formal verification to check the reference design against the second semiconductor design with all edits disabled. The semiconductor design is partitioned and associated with input constraints. The edits are further grouped and ordered. The invention also discovers a set of dependencies of the logic edits and checks that the ordering of groups obeys the dependencies. Each group of edits is further submitted to formal verification, and any input constraints assumed for any partitions are verified in their enclosing partition. Finally, the method reports success if formal verification succeeds on each group of logic edits and on each set of input constraints. Patrick holds 1 patent.

Career Highlights

Patrick Peters has established himself as a key figure in the semiconductor industry. His innovative approach to verification processes has garnered attention and respect among his peers. He is currently employed at Apple Inc., where he continues to develop and refine his methods.

Collaborations

Patrick has worked alongside talented individuals such as Nathan Francis Sheeley and Irfan Waheed. Their collaborative efforts have contributed to advancements in semiconductor design and verification.

Conclusion

Patrick Peters is an influential inventor whose work in semiconductor design verification is paving the way for more reliable electronic devices. His innovative methods and collaborations highlight his commitment to advancing technology in this critical field.