Company Filing History:
Years Active: 2017
Title: Innovations by Hans-Jorg Peter
Introduction
Hans-Jorg Peter is a notable inventor based in Saint-Egreve, France. He has made significant contributions to the field of electronic logic design through his innovative patent. His work focuses on enhancing the formal verification processes in electronic systems.
Latest Patents
Hans-Jorg Peter holds a patent for a "System and method for reactive initialization based formal verification of electronic logic design." This invention utilizes reactive initialization to facilitate the formal verification of electronic logic designs. The system ensures that a part of the logic design correctly transitions through a sequence of states by automatically assigning an initial state value. It interacts with a correction unit to provide meaningful feedback on verification failures, enabling the correction unit to address these failures or introduce new constraints that allow the verification process to complete. By assigning an initial state, the verification of the validity of the remaining states in the sequence is simplified, increasing the likelihood of reaching a conclusive result while consuming fewer computing resources. Hans-Jorg Peter has 1 patent to his name.
Career Highlights
Hans-Jorg Peter is currently employed at Synopsys, Inc., a leading company in electronic design automation. His role involves developing innovative solutions that enhance the efficiency and reliability of electronic systems.
Collaborations
Some of his notable coworkers include Mohamed Shaker Sarwary and Barsneya Chakrabarti. Their collaborative efforts contribute to advancing the field of electronic logic design.
Conclusion
Hans-Jorg Peter's innovative work in formal verification of electronic logic design showcases his expertise and commitment to improving technology. His contributions are valuable to the industry and highlight the importance of innovation in electronic systems.