Inventor
YEUNG PING FAI
US15 patents
⚠️ This page may combine multiple inventors who share the name “YEUNG PING FAI”. Patents are grouped by organization below to help distinguish them — per-person disambiguation is on the roadmap.
MENTOR GRAPHICS CORP
5 patentsUS6848088B1Jan 25, 2005
Measure of analysis performed in property checking
MENTOR GRAPHICS CORP69 citations96
US6885983B1Apr 26, 2005
Method for automatically searching for functional defects in a description of a circuit
MENTOR GRAPHICS CORP42 citations94
US7890897B2Feb 15, 2011
Measure of analysis performed in property checking
MENTOR GRAPHICS CORP11 citations91
US9262557B2Feb 16, 2016
Measure of analysis performed in property checking
MENTOR GRAPHICS CORP1 citations61
US9684760B2Jun 20, 2017
Measure of analysis performed in property checking
MENTOR GRAPHICS CORP0 citations51
LY TAI AN
3 patentsUS7243322B1Jul 10, 2007
Metastability injector for a circuit description
LY TAI AN56 citations93
US7007249B2Feb 28, 2006
Method for automatically generating checkers for finding functional defects in a description of circuit
LY TAI AN21 citations91
US7454728B2Nov 18, 2008
Metastability injector for a circuit description
LY TAI AN27 citations89
O IN DESIGN AUTOMATION
2 patentsUS6175946B1Jan 16, 2001
Method for automatically generating checkers for finding functional defects in a description of a circuit
O IN DESIGN AUTOMATION130 citations96
US6292765B1Sep 18, 2001
Method for automatically searching for functional defects in a description of a circuit
O IN DESIGN AUTOMATION67 citations94