Company Filing History:
Years Active: 2023
Title: Christopher William Komar: Innovator in Electronic Circuit Design
Introduction
Christopher William Komar is a notable inventor based in Phoenix, AZ (US). He has made significant contributions to the field of electronic circuit design, particularly through his innovative patent that addresses deadlock conditions in circuit verification.
Latest Patents
Christopher holds a patent titled "System, method, and computer program product for finding and analyzing deadlock conditions associated with the formal verification of an electronic circuit design." This patent outlines a method for electronic circuit design that includes receiving an electronic circuit design and performing a deadlock check using a linear temporal logic property and a proof engine. The method further analyzes counterexamples for loop escape conditions, ensuring that any reachable conditions are addressed to prevent deadlocks.
Career Highlights
Christopher is currently employed at Cadence Design Systems, Inc., where he applies his expertise in electronic design automation. His work focuses on enhancing the reliability and efficiency of electronic circuit designs through innovative verification methods.
Collaborations
Throughout his career, Christopher has collaborated with talented professionals, including Craig Franklin Deaton and Lars Lundgren. These collaborations have contributed to the advancement of technology in the field of electronic circuit design.
Conclusion
Christopher William Komar is a distinguished inventor whose work in electronic circuit design has led to valuable innovations. His contributions continue to impact the industry positively, showcasing the importance of effective verification methods in circuit design.