Yung-Te Lai

Follow

Person

Cupertino, CA, US

People

Patents Grantslast 30 patents

Information Patent Grant
Determination of single-fix rectification function
- Patent number 7,823,104
- Issue date Oct 26, 2010
- Cadence Design Systems, Inc.
- Cheng-Ta Hsieh
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Method and system for logic equivalence checking
- Patent number 7,620,919
- Issue date Nov 17, 2009
- Cadence Design Systems, Inc.
- Manish Pandey
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Method and system for logic equivalence checking
- Patent number 7,620,918
- Issue date Nov 17, 2009
- Cadence Design Systems, Inc.
- Manish Pandey
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Method and system for logic equivalence checking
- Patent number 7,266,790
- Issue date Sep 4, 2007
- Cadence Design Systems, Inc.
- Manish Pandey
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Combinational equivalence checking methods and systems with interna...
- Patent number 7,240,311
- Issue date Jul 3, 2007
- Cadence Design Systems, Inc.
- Yung-Te Lai
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Combinational equivalence checking methods and systems with interna...
- Patent number 6,842,884
- Issue date Jan 11, 2005
- Verplex Systems, Inc.
- Yung-Te Lai
- G06 - COMPUTING CALCULATING COUNTING

Patents Applicationslast 30 patents

Information Patent Application
DETERMINATION OF SINGLE-FIX RECTIFICATION FUNCTION
- Publication number 20080288900
- Publication date Nov 20, 2008
- Cheng-Ta Hsieh
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
Method and System for Logic Equivalence Checking
- Publication number 20070294650
- Publication date Dec 20, 2007
- Cadence Design Systems, Inc.
- Manish Pandey
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
Method and System for Logic Equivalence Checking
- Publication number 20070294649
- Publication date Dec 20, 2007
- Cadence Design Systems, Inc.
- Manish Pandey
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
Combinational equivalence checking methods and systems with interna...
- Publication number 20050155002
- Publication date Jul 14, 2005
- Yung-Te Lai
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
Method and system for logic equivalence checking
- Publication number 20040177332
- Publication date Sep 9, 2004
- Manish Pandey
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
Combinational equivalence checking methods and systems with interna...
- Publication number 20040044975
- Publication date Mar 4, 2004
- Yung-Te Lai
- G06 - COMPUTING CALCULATING COUNTING