Issued Patents All Time
Showing 1–9 of 9 patents
| Patent # | Title | Co-Inventors | Date |
|---|---|---|---|
| 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, Jean-Charles Giomi, Kalyana C. Mulam, 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, Jean-Charles Giomi, Kalyana C. Mulam, David Lansing Dill, Paul II Estrada +5 more | 2003-08-19 |
| 6324601 | Data structure and method for managing multiple ordered sets | Thomas P. Webber | 2001-11-27 |
| 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, Jean-Charles Giomi, Kalyana C. Mulam, David Lansing Dill, Paul II Estrada +5 more | 2001-01-16 |
| 6035348 | Method for managing multiple ordered sets by dequeuing selected data packet from single memory structure | Thomas P. Webber | 2000-03-07 |
| 4656327 | Spot welder with electrode clamp | — | 1987-04-07 |