Company Filing History:
Years Active: 2005-2010
Title: Yung-Te Lai: Innovator in Logic Design and Circuit Verification
Introduction
Yung-Te Lai is a prominent inventor based in Cupertino, California, known for his significant contributions to the field of logic design and circuit verification. With a total of six patents to his name, he has made notable advancements that enhance the efficiency and accuracy of electronic circuits.
Latest Patents
One of Yung-Te Lai's latest patents is focused on the determination of a single-fix rectification function. This invention addresses the functional differences between two netlists by determining a signal that can be re-synthesized to correct these discrepancies. The method involves assigning static and initial values to inputs, determining functions based on these values, and evaluating error functions to ensure rectification. Another significant patent is related to a method and system for logic equivalence checking. This invention utilizes adaptive learning and a persistent cache to improve the efficiency of equivalency checking tasks, such as logic cone comparison and state element mapping.
Career Highlights
Throughout his career, Yung-Te Lai has worked with leading companies in the technology sector, including Cadence Design Systems, Inc. and Verplex Systems, Inc. His experience in these organizations has allowed him to develop innovative solutions that address complex challenges in circuit design and verification.
Collaborations
Yung-Te Lai has collaborated with notable professionals in his field, including Chih-Chang Lin and Manish Pandey. These collaborations have contributed to the advancement of technology in logic design and verification.
Conclusion
Yung-Te Lai's work in the field of logic design and circuit verification has led to significant innovations that improve the functionality and reliability of electronic circuits. His contributions continue to influence the industry and inspire future advancements.