Issued Patents All Time
Showing 126–133 of 133 patents
| Patent # | Title | Co-Inventors | Date |
|---|---|---|---|
| 7266790 | Method and system for logic equivalence checking | Manish Pandey, Yung-Te Lai, Bret Siarkowski, Kei-Yong Khoo | 2007-09-04 |
| 7240311 | Combinational equivalence checking methods and systems with internal don't cares | Yung-Te Lai, Chioumin M. Chang, Kung-Chien Chen | 2007-07-03 |
| 7137084 | Similarity-driven synthesis for equivalence checking of complex designs | Kuang-Chien Chen, Cheng-Ta Hsieh, Yifeng Wang | 2006-11-14 |
| 7067957 | Ceramic transformer level driving circuit | Chin-Wen Chou, Eddie Cheng, Kuang-Ming Wu | 2006-06-27 |
| 7057672 | Method and apparatus for high frequency data transmission and testability in a low voltage, differential swing design | Bal S. Sandhu, Yanmei Tian | 2006-06-06 |
| 6848084 | Method and apparatus for verification of memories at multiple abstraction levels | Manish Pandey, Mitchell Hines | 2005-01-25 |
| 6842884 | Combinational equivalence checking methods and systems with internal don't cares | Yung-Te Lai, Chioumin M. Chang, Kung-Chien Chen | 2005-01-11 |
| 6742174 | Similarity-driven synthesis for equivalence checking of complex designs | Kuang-Chien Chen, Cheng-Ta Hsieh, Yifeng Wang | 2004-05-25 |