Christian Stangier

Title: Christian Stangier: Innovator in Circuit Verification and Invariant Checking

Introduction

Christian Stangier is a notable inventor based in Los Altos, California. He has made significant contributions to the field of circuit verification and invariant checking. With a total of 4 patents to his name, Stangier's work has advanced the understanding and implementation of complex verification methods in electronic circuits.

Latest Patents

Stangier's latest patents include innovative methods for circuit verification and invariant checking. In his circuit verification patent, he describes a method that utilizes a learning strategy to determine suitable values for verification parameters. This method classifies multiple properties of a circuit according to size and selects candidate properties for verification. The process involves attempting to verify these properties using the candidate set and adjusting the verification parameters based on the results.

In his invariant checking patent, Stangier outlines a method that executes steps of a finite state machine (FSM) to traverse its state space. This method automatically accesses profiles corresponding to the FSM steps and compares them with predetermined criteria. The traversal is stopped based on these comparisons, allowing for a thorough examination of the state space in both directions, ensuring accurate verification of the system's behavior.

Career Highlights

Christian Stangier is currently employed at Fujitsu Corporation, where he continues to innovate in the field of electronic circuit verification. His work has been instrumental in developing methods that enhance the reliability and efficiency of circuit designs. Stangier's expertise in this area has positioned him as a key figure in the industry.

Collaborations

Throughout his career, Stangier has collaborated with esteemed colleagues such as Jawahar Jain and Subramanian K Iyer. These collaborations have fostered a productive environment for innovation and have contributed to the advancement of their shared goals in circuit verification technologies.

Conclusion

Christian Stangier's contributions to circuit verification and invariant checking demonstrate his commitment to advancing technology in the electronics field. His innovative methods and collaborative efforts continue to influence the industry positively.