| 7478028 |
Method for automatically searching for functional defects in a description of a circuit |
Chian-min Richard Ho, David Lansing Dill, Jing Chyuarn Lin, Ping Fai Yeung, Paul II Estrada +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, Paul Andrew Wilcox, David Lansing Dill +5 more |
2006-02-28 |
| 6885983 |
Method for automatically searching for functional defects in a description of a circuit |
Chian-min Richard Ho, David Lansing Dill, Jing Chyuarn Lin, Ping Fai Yeung, Paul Estrada +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, Paul Andrew Wilcox, David Lansing Dill +5 more |
2003-08-19 |
| 6292765 |
Method for automatically searching for functional defects in a description of a circuit |
Chian-min Richard Ho, David Lansing Dill, Jing Chyuarn Lin, Ping Fai Yeung, Paul II Estrada +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, Paul Andrew Wilcox, David Lansing Dill +5 more |
2001-01-16 |
| 6148275 |
System for and method of connecting a hardware modeling element to a hardware modeling system |
Mark S. Papamarcos, Andrew Read, Wayne Phillip Heideman, Robert K. Couch, Peter R. Jaeger +4 more |
2000-11-14 |
| 5682337 |
High speed three-state sampling |
Sani El-Fishawy, Andrew Read, L. Curtis Widdoes, Jr. |
1997-10-28 |
| 5673295 |
Method and apparatus for generating and synchronizing a plurality of digital signals |
Andrew Read, Sani El-Fishawy, Michael Lee |
1997-09-30 |
| 5625580 |
Hardware modeling system and method of use |
Andrew Read, Mark S. Papamarcos, Wayne Phillip Heideman, Robert K. Couch, Peter R. Jaeger +3 more |
1997-04-29 |
| 5369593 |
System for and method of connecting a hardware modeling element to a hardware modeling system |
Mark S. Papamarcos, Andrew Read, Wayne Phillip Heideman, Robert K. Couch, Peter R. Jaeger +4 more |
1994-11-29 |
| 5353243 |
Hardware modeling system and method of use |
Andrew Read, Mark S. Papamarcos, Wayne Phillip Heideman, Robert K. Couch, Peter R. Jaeger +3 more |
1994-10-04 |