Company Filing History:

7 out of 672

Mentor Graphics Corporation

patents

3 out of 3

O-in Design Automation, Inc.

patents

6 out of 832,680

Other

patents

Years Active: 2001-2017

Loading Chart...

16 patents (USPTO):Sort by Forward Citations

Abstract keywords

1. 9684760 - Measure of analysis performed in property checking (2017-06-20),

2. 9483594 - Reset verification (2016-11-01),

3. 9262557 - Measure of analysis performed in property checking (2016-02-16),

4. 8418121 - Measure of analysis performed in property checking (2013-04-09),

5. 7890897 - Measure of analysis performed in property checking (2011-02-15),

6. 7478028 - Method for automatically searching for functional defects in a description of a circuit (2009-01-13),

7. 7454728 - Metastability injector for a circuit description (2008-11-18),

8. 7454324 - Selection of initial states for formal verification (2008-11-18),

9. 7318205 - Measure of analysis performed in property checking (2008-01-08),

10. 7243322 - Metastability injector for a circuit description (2007-07-10),

11. 7007249 - Method for automatically generating checkers for finding functional defects in a description of circuit (2006-02-28),

12. 6885983 - Method for automatically searching for functional defects in a description of a circuit (2005-04-26),

13. 6848088 - Measure of analysis performed in property checking (2005-01-25),

14. 6609229 - Method for automatically generating checkers for finding functional defects in a description of a circuit (2003-08-19),

15. 6292765 - Method for automatically searching for functional defects in a description of a circuit (2001-09-18),

Title: Innovations and Contributions of Ping Fai Yeung

Introduction

Ping Fai Yeung is a notable inventor based in San Jose, California, with a remarkable portfolio of 16 patents. His work primarily focuses on electronic design automation and digital circuit analysis, contributing significantly to advancements in the field.

Latest Patents

Among his latest patents is a method for measuring the analysis performed in property checking. This innovation allows for the assessment of the validity of a property of a digital circuit, providing outputs when a definitive true or false answer cannot be given due to resource constraints. The measure of value N indicates that a given property will not be violated within a specified distance from the initial state, ensuring comprehensive coverage of potential excursions. Another significant patent is related to reset verification, which discloses an electronic design automation tool designed to perform static reset checks on circuit designs. This tool can detect reset functionality, identify resettable components, and determine if design errors exist that may affect the reset functionality.

Career Highlights

Ping Fai Yeung has worked with prominent companies in the industry, including Mentor Graphics Corporation. His contributions have been instrumental in enhancing electronic design automation tools and methodologies.

Collaborations

Throughout his career, he has collaborated with notable professionals such as Kalyana C Mulam and Chian-Min Richard Ho, further enriching his work and innovations.

Conclusion

Ping Fai Yeung's contributions to electronic design automation and digital circuit analysis have made a significant impact in the field. His innovative patents and collaborations highlight his dedication to advancing technology and improving circuit design methodologies.

This text is generated by artificial intelligence and may not be accurate.

Please report any incorrect information to support@idiyas.com

Inventor’s Patent Attorneys refers to legal professionals with specialized expertise in representing inventors throughout the patent process. These attorneys assist inventors in navigating the complexities of patent law, including filing patent applications, conducting patent searches, and protecting intellectual property rights. They play a crucial role in helping inventors secure patents for their innovative creations.