loadpatents
name:-0.0066149234771729
name:-0.014853954315186
name:-0.00045084953308105
Yeung; Ping Fai Patent Filings

Yeung; Ping Fai

Patent Applications and Registrations

Patent applications and USPTO patent grants for Yeung; Ping Fai.The latest application filed is for "measure of analysis performed in property checking".

Company Profile
0.16.8
  • Yeung; Ping Fai - San Jose CA
*profile and listings may contain filings by different individuals or companies with the same name. Review application materials to confirm ownership/assignment.
Patent Activity
PatentDate
Measure of analysis performed in property checking
Grant 9,684,760 - Levitt , et al. June 20, 2
2017-06-20
Measure Of Analysis Performed In Property Checking
App 20160125122 - Levitt; Jeremy Rutledge ;   et al.
2016-05-05
Measure of analysis performed in property checking
Grant 9,262,557 - Levitt , et al. February 16, 2
2016-02-16
Measure Of Analysis Performed In Property Checking
App 20130239084 - Levitt; Jeremy Rutledge ;   et al.
2013-09-12
Measure of analysis performed in property checking
Grant 8,418,121 - Levitt , et al. April 9, 2
2013-04-09
Measure Of Analysis Performed In Property Checking
App 20110138346 - Levitt; Jeremy Rutledge ;   et al.
2011-06-09
Measure of analysis performed in property checking
Grant 7,890,897 - Levitt , et al. February 15, 2
2011-02-15
Method for automatically searching for functional defects in a description of a circuit
Grant 7,478,028 - Ho , et al. January 13, 2
2009-01-13
Selection of initial states for formal verification
Grant 7,454,324 - Seawright , et al. November 18, 2
2008-11-18
Metastability injector for a circuit description
Grant 7,454,728 - Ly , et al. November 18, 2
2008-11-18
Measure Of Analysis Performed In Property Checking
App 20080066032 - Levitt; Jeremy Rutledge ;   et al.
2008-03-13
Measure of analysis performed in property checking
Grant 7,318,205 - Levitt , et al. January 8, 2
2008-01-08
Metastability Injector For A Circuit Description
App 20070230645 - Ly; Tai An ;   et al.
2007-10-04
Metastability injector for a circuit description
Grant 7,243,322 - Ly , et al. July 10, 2
2007-07-10
Method for automatically generating checkers for finding functional defects in a description of circuit
Grant 7,007,249 - Ly , et al. February 28, 2
2006-02-28
Method for automatically searching for functional defects in a description of a circuit
App 20050131665 - Ho, Chian-Min Richard ;   et al.
2005-06-16
Method for automatically searching for functional defects in a description of a circuit
Grant 6,885,983 - Ho , et al. April 26, 2
2005-04-26
Measure of analysis performed in property checking
App 20050081169 - Levitt, Jeremy Rutledge ;   et al.
2005-04-14
Measure of analysis performed in property checking
Grant 6,848,088 - Levitt , et al. January 25, 2
2005-01-25
Method for automatically generating checkers for finding functional defects in a description of circuit
App 20030200515 - Ly, Tai An ;   et al.
2003-10-23
Method for automatically generating checkers for finding functional defects in a description of a circuit
Grant 6,609,229 - Ly , et al. August 19, 2
2003-08-19
Method for automatically searching for functional defects in a description of a circuit
Grant 6,292,765 - Ho , et al. September 18, 2
2001-09-18
Method for automatically generating checkers for finding functional defects in a description of a circuit
Grant 6,175,946 - Ly , et al. January 16, 2
2001-01-16

uspto.report is an independent third-party trademark research tool that is not affiliated, endorsed, or sponsored by the United States Patent and Trademark Office (USPTO) or any other governmental organization. The information provided by uspto.report is based on publicly available data at the time of writing and is intended for informational purposes only.

While we strive to provide accurate and up-to-date information, we do not guarantee the accuracy, completeness, reliability, or suitability of the information displayed on this site. The use of this site is at your own risk. Any reliance you place on such information is therefore strictly at your own risk.

All official trademark data, including owner information, should be verified by visiting the official USPTO website at www.uspto.gov. This site is not intended to replace professional legal advice and should not be used as a substitute for consulting with a legal professional who is knowledgeable about trademark law.

© 2024 USPTO.report | Privacy Policy | Resources | RSS Feed of Trademarks | Trademark Filings Twitter Feed