Issued Patents All Time
Showing 1–12 of 12 patents
| Patent # | Title | Co-Inventors | Date |
|---|---|---|---|
| 9043735 | Synthesis of fast squarer functional blocks | Sabyasachi Das | 2015-05-26 |
| 8935651 | Methods and apparatus for data path cluster optimization | Tsuwei Ku, Samir Agrawal | 2015-01-13 |
| 7739324 | Timing driven synthesis of sum-of-product functional blocks | Sabyasachi Das | 2010-06-15 |
| 7478028 | Method for automatically searching for functional defects in a description of a circuit | Chian-min Richard Ho, Robert Kristianto Mardjuki, David Lansing Dill, Jing Chyuarn Lin, Ping Fai Yeung +5 more | 2009-01-13 |
| 7007249 | Method for automatically generating checkers for finding functional defects in a description of circuit | Tai A. Ly, Kalyana C. Mulam, Paul Andrew Wilcox, David Lansing Dill, Paul II Estrada +5 more | 2006-02-28 |
| 6885983 | Method for automatically searching for functional defects in a description of a circuit | Chian-min Richard Ho, Robert Kristianto Mardjuki, David Lansing Dill, Jing Chyuarn Lin, Ping Fai Yeung +5 more | 2005-04-26 |
| 6609229 | Method for automatically generating checkers for finding functional defects in a description of a circuit | Tai A. Ly, Kalyana C. Mulam, Paul Andrew Wilcox, David Lansing Dill, Paul II Estrada +5 more | 2003-08-19 |
| 6292765 | Method for automatically searching for functional defects in a description of a circuit | Chian-min Richard Ho, Robert Kristianto Mardjuki, David Lansing Dill, Jing Chyuarn Lin, Ping Fai Yeung +5 more | 2001-09-18 |
| 6175946 | Method for automatically generating checkers for finding functional defects in a description of a circuit | Tai A. Ly, Kalyana C. Mulam, Paul Andrew Wilcox, David Lansing Dill, Paul II Estrada +5 more | 2001-01-16 |
| 6170080 | Method and system for floorplanning a circuit design at a high level of abstraction | Arnold Ginetti, Gerrard Tarroux, Francois Silve, Jean-Michel Fernandes, Philippe Troin | 2001-01-02 |
| 5774370 | Method of extracting implicit sequential behavior from hardware description languages | — | 1998-06-30 |
| 5537580 | Integrated circuit fabrication using state machine extraction from behavioral hardware description language | Gerard Tarroux | 1996-07-16 |