Ping Fai Yeung

Person

San Jose, CA, US

People

Patents Grantslast 30 patents

Information Patent Grant
Measure of analysis performed in property checking
- Patent number 9,684,760
- Issue date Jun 20, 2017
- Mentor Graphics Corporation
- Jeremy Rutledge Levitt
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Reset verification
- Patent number 9,483,594
- Issue date Nov 1, 2016
- Mentor Graphics Corporation
- Ka-kei Kwok
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Measure of analysis performed in property checking
- Patent number 9,262,557
- Issue date Feb 16, 2016
- Mentor Graphics Corporation
- Jeremy Rutledge Levitt
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Measure of analysis performed in property checking
- Patent number 8,418,121
- Issue date Apr 9, 2013
- Mentor Graphics Corporation
- Jeremy Rutledge Levitt
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Measure of analysis performed in property checking
- Patent number 7,890,897
- Issue date Feb 15, 2011
- Mentor Graphics Corporation
- Jeremy Rutledge Levitt
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Method for automatically searching for functional defects in a desc...
- Patent number 7,478,028
- Issue date Jan 13, 2009
- Chian-Min Richard Ho
- G01 - MEASURING TESTING
Information Patent Grant
Metastability injector for a circuit description
- Patent number 7,454,728
- Issue date Nov 18, 2008
- Tai An Ly
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Selection of initial states for formal verification
- Patent number 7,454,324
- Issue date Nov 18, 2008
- James Andrew Garrard Seawright
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Measure of analysis performed in property checking
- Patent number 7,318,205
- Issue date Jan 8, 2008
- Jeremy Rutledge Levitt
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Metastability injector for a circuit description
- Patent number 7,243,322
- Issue date Jul 10, 2007
- Tai An Ly
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Method for automatically generating checkers for finding functional...
- Patent number 7,007,249
- Issue date Feb 28, 2006
- Tai An Ly
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Method for automatically searching for functional defects in a desc...
- Patent number 6,885,983
- Issue date Apr 26, 2005
- Mentor Graphics Corporation
- Chian-Min Richard Ho
- G01 - MEASURING TESTING
Information Patent Grant
Measure of analysis performed in property checking
- Patent number 6,848,088
- Issue date Jan 25, 2005
- Mentor Graphics Corporation
- Jeremy Rutledge Levitt
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Method for automatically generating checkers for finding functional...
- Patent number 6,609,229
- Issue date Aug 19, 2003
- O-In Design Automation, Inc.
- Tai An Ly
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Method for automatically searching for functional defects in a desc...
- Patent number 6,292,765
- Issue date Sep 18, 2001
- O-IN Design Automation
- Chian-Min Richard Ho
- G01 - MEASURING TESTING
Information Patent Grant
Method for automatically generating checkers for finding functional...
- Patent number 6,175,946
- Issue date Jan 16, 2001
- O-IN Design Automation
- Tai An Ly
- G06 - COMPUTING CALCULATING COUNTING

Patents Applicationslast 30 patents

Information Patent Application
MEASURE OF ANALYSIS PERFORMED IN PROPERTY CHECKING
- Publication number 20160125122
- Publication date May 5, 2016
- Mentor Graphics Corporation
- Jeremy Rutledge Levitt
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
RESET VERIFICATION
- Publication number 20160063161
- Publication date Mar 3, 2016
- Mentor Graphics Corporation
- Ka-kei Kwok
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
MEASURE OF ANALYSIS PERFORMED IN PROPERTY CHECKING
- Publication number 20130239084
- Publication date Sep 12, 2013
- Mentor Graphics Corporation
- Jeremy Rutledge Levitt
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
MEASURE OF ANALYSIS PERFORMED IN PROPERTY CHECKING
- Publication number 20110138346
- Publication date Jun 9, 2011
- Mentor Graphics Corporation
- Jeremy Rutledge Levitt
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
MEASURE OF ANALYSIS PERFORMED IN PROPERTY CHECKING
- Publication number 20080066032
- Publication date Mar 13, 2008
- Mentor Graphics Corporation
- Jeremy Rutledge Levitt
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
METASTABILITY INJECTOR FOR A CIRCUIT DESCRIPTION
- Publication number 20070230645
- Publication date Oct 4, 2007
- Mentor Graphics Corporation
- Tai An Ly
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
Method for automatically searching for functional defects in a desc...
- Publication number 20050131665
- Publication date Jun 16, 2005
- Chian-Min Richard Ho
- G01 - MEASURING TESTING
Information Patent Application
Measure of analysis performed in property checking
- Publication number 20050081169
- Publication date Apr 14, 2005
- Jeremy Rutledge Levitt
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
Method for automatically generating checkers for finding functional...
- Publication number 20030200515
- Publication date Oct 23, 2003
- 0-In Design automation Inc.
- Tai An Ly
- G06 - COMPUTING CALCULATING COUNTING

Ping Fai Yeung

Person

Patents Grantslast 30 patents

Measure of analysis performed in property checking

Reset verification

Measure of analysis performed in property checking

Measure of analysis performed in property checking

Measure of analysis performed in property checking

Method for automatically searching for functional defects in a desc...

Metastability injector for a circuit description

Selection of initial states for formal verification

Measure of analysis performed in property checking

Metastability injector for a circuit description

Method for automatically generating checkers for finding functional...

Method for automatically searching for functional defects in a desc...

Measure of analysis performed in property checking

Method for automatically generating checkers for finding functional...

Method for automatically searching for functional defects in a desc...

Method for automatically generating checkers for finding functional...

Patents Applicationslast 30 patents

MEASURE OF ANALYSIS PERFORMED IN PROPERTY CHECKING

RESET VERIFICATION

MEASURE OF ANALYSIS PERFORMED IN PROPERTY CHECKING

MEASURE OF ANALYSIS PERFORMED IN PROPERTY CHECKING

MEASURE OF ANALYSIS PERFORMED IN PROPERTY CHECKING

METASTABILITY INJECTOR FOR A CIRCUIT DESCRIPTION

Method for automatically searching for functional defects in a desc...

Measure of analysis performed in property checking

Method for automatically generating checkers for finding functional...