Issued Patents All Time
Showing 1–3 of 3 patents
| Patent # | Title | Co-Inventors | Date |
|---|---|---|---|
| 7137084 | Similarity-driven synthesis for equivalence checking of complex designs | Chih-Chang Lin, Cheng-Ta Hsieh, Yifeng Wang | 2006-11-14 |
| 7124383 | Integrated proof flow system and method | Bow-Yaw Wang | 2006-10-17 |
| 6742174 | Similarity-driven synthesis for equivalence checking of complex designs | Chih-Chang Lin, Cheng-Ta Hsieh, Yifeng Wang | 2004-05-25 |