Inventor · disambiguated record
Tai A. Ly
Also filed as: LY TAI A · LY TAI AN
34 granted patents·1 pending application·789 citations·filing 1995–2019
98Inventor score
Top patents by PatentIndex Score
35 records- 0195US8914761B2Metastability effects simulation for a circuit descriptionMENTOR GRAPHICS CORP·Filed 2013·Granted Dec 16, 2014·24 cites·20 claims
- 0295US7356789B2Metastability effects simulation for a circuit descriptionLY TAI AN·Filed 2005·Granted Apr 8, 2008·58 cites·49 claims
- 0394US8438516B2Metastability effects simulation for a circuit descriptionLY TAI AN·Filed 2010·Granted May 7, 2013·23 cites·18 claims
- 0492US7454728B2Metastability injector for a circuit descriptionLY TAI AN·Filed 2007·Granted Nov 18, 2008·27 cites·30 claims
- 0591US7243322B1Metastability injector for a circuit descriptionLY TAI AN·Filed 2004·Granted Jul 10, 2007·56 cites·24 claims
- 0690US6885983B1Method for automatically searching for functional defects in a description of a circuitMENTOR GRAPHICS CORP·Filed 2001·Granted Apr 26, 2005·42 cites·68 claims
- 0789US8271918B2Formal verification of clock domain crossingsKWOK KA-KEI·Filed 2009·Granted Sep 18, 2012·33 cites·19 claims
- 0889US7712062B2Metastability effects simulation for a circuit descriptionLY TAI AN·Filed 2008·Granted May 4, 2010·18 cites·21 claims
- 0989US7478028B2Method for automatically searching for functional defects in a description of a circuitHO CHIAN-MIN RICHARD·Filed 2005·Granted Jan 13, 2009·21 cites·18 claims
- 1089US6609229B1Method for automatically generating checkers for finding functional defects in a description of a circuitO IN DESIGN AUTOMATION INC·Filed 2000·Granted Aug 19, 2003·71 cites·122 claims
- 1189US6292765B1Method for automatically searching for functional defects in a description of a circuitO IN DESIGN AUTOMATION·Filed 1997·Granted Sep 18, 2001·67 cites·37 claims
- 1288US9690550B2Program optimization via compile time executionNAT INSTR CORP·Filed 2015·Granted Jun 27, 2017·6 cites·29 claims
- 1388US6175946B1Method for automatically generating checkers for finding functional defects in a description of a circuitO IN DESIGN AUTOMATION·Filed 1997·Granted Jan 16, 2001·130 cites·20 claims
- 1483US10078456B2Memory system configured to avoid memory access hazards for LDPC decodingNAT INSTRUMENTS CORP·Filed 2014·Granted Sep 18, 2018·6 cites·24 claims
- 1582US9189215B1Convergence analysis of program variablesNAT INSTR CORP·Filed 2014·Granted Nov 17, 2015·5 cites·23 claims
- 1680US5764951AMethods for automatically pipelining loopsSYNOPSYS INC·Filed 1995·Granted Jun 9, 1998·85 cites·22 claims
- 1778US9921815B2Program variable convergence analysisNAT INSTRUMENTS CORP·Filed 2015·Granted Mar 20, 2018·2 cites·19 claims
- 1877US7007249B2Method for automatically generating checkers for finding functional defects in a description of circuitLY TAI AN·Filed 2003·Granted Feb 28, 2006·21 cites·15 claims
- 1977US6505339B1Behavioral synthesis links to logic synthesisSYNOPSYS INC·Filed 2000·Granted Jan 7, 2003·23 cites·6 claims
- 2076US9081583B2Compile time executionKEE HOJIN·Filed 2012·Granted Jul 14, 2015·5 cites·33 claims
- 2171US9768805B2LPDC encoding techniques using a matrix representationNAT INSTR CORP·Filed 2015·Granted Sep 19, 2017·3 cites·18 claims
- 2271USRE40925EMethods for automatically pipelining loopsSYNOPSYS INC·Filed 2000·Granted Sep 29, 2009·15 cites·40 claims
- 2370US9489181B2Correlation analysis of program structuresNAT INSTR CORP·Filed 2014·Granted Nov 8, 2016·2 cites·15 claims
- 2466US6026219ABehavioral synthesis links to logic synthesisSYNOPSYS INC·Filed 1995·Granted Feb 15, 2000·45 cites·32 claims
- 2565US9733911B2Value transfer between program variables using dynamic memory resource mappingNAT INSTR CORP·Filed 2015·Granted Aug 15, 2017·1 cites·25 claims
- 2658US10216495B2Program variable convergence analysisNAT INSTRUMENTS CORP·Filed 2018·Granted Feb 26, 2019·0 cites·18 claims
- 2757US9740411B2Configuring circuitry with memory access constraints for a programNAT INSTR CORP·Filed 2014·Granted Aug 22, 2017·0 cites·18 claims
- 2851US9898267B2Correlation analysis of program structuresNAT INSTRUMENTS CORP·Filed 2016·Granted Feb 20, 2018·0 cites·20 claims
- 2949US10331361B2Self-addressing memoryNAT INSTRUMENTS CORP·Filed 2017·Granted Jun 25, 2019·0 cites·20 claims
- 3047US9569119B2Self-addressing memoryNAT INSTR CORP·Filed 2014·Granted Feb 14, 2017·0 cites·19 claims
- 3147US2019341932A1LDPC Encoding TechniquesNAT INSTRUMENTS CORP·Filed 2019·Application pending·0 cites
- 3243US10241764B2Automatically transform pass-by-value semantics into pass-by-reference implementationNAT INSTRUMENTS CORP·Filed 2017·Granted Mar 26, 2019·0 cites·20 claims
- 3341US10629161B2Automatic multi-clock circuit generationNAT INSTRUMENTS CORP·Filed 2017·Granted Apr 21, 2020·0 cites·19 claims
- 3441US10367525B2Incremental loop modification for LDPC encodingNAT INSTRUMENTS CORP·Filed 2015·Granted Jul 30, 2019·0 cites·18 claims
- 3535US9990250B2Single-IC LDPC encoding and decoding implementationsNAT INSTRUMENTS CORP·Filed 2015·Granted Jun 5, 2018·0 cites·13 claims
Identity basis: PatentsView inventor disambiguation (2025Q4-odp release). How scoring works →