Location History:
- Folsom, CA (US) (2003)
- San Francisco, CA (US) (2004 - 2007)
Company Filing History:
Years Active: 2003-2007
Title: John Moondanos: Innovator in Formal Equivalence Verification
Introduction
John Moondanos is a notable inventor based in San Francisco, CA. He has made significant contributions to the field of formal equivalence verification, holding a total of 4 patents. His work focuses on improving methods for verifying the equivalence of digital designs, which is crucial in the development of reliable electronic systems.
Latest Patents
One of his latest patents is titled "Method and apparatus for cut-point frontier selection and for counter-example generation in formal equivalence verification." This innovative approach identifies both lazy and eager cut-point frontiers, computing a reconvergence ratio for each. The frontier with the smaller reconvergence ratio is selected as the next cut-point frontier. Additionally, the patent outlines a method for generating counter-examples by utilizing eigenvariables and reconverging primary inputs to compute values compatible with internal signal values. Another significant patent is "Application of the retimed normal form to the formal equivalence verification of abstract RTL descriptions for pipelined designs." This method facilitates the sequential verification of loop-free circuits by reducing the problem to combinational verification, employing Timed Binary Decision Diagrams (TBDDs) and Timed Binary Expression Diagrams (TBEDs).
Career Highlights
John Moondanos is currently employed at Intel Corporation, where he continues to advance his research in formal verification techniques. His work is instrumental in ensuring the reliability and efficiency of complex digital systems.
Collaborations
Throughout his career, John has collaborated with esteemed colleagues such as Ziyad Hanna and Zurab Khasidashvili. These collaborations have further enriched his research and contributed to the development of innovative solutions in the field.
Conclusion
John Moondanos is a prominent figure in the realm of formal equivalence verification, with a strong portfolio of patents that reflect his expertise and innovative spirit. His contributions are vital for the advancement of reliable electronic systems.