| 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, Paul Andrew Wilcox, David Lansing Dill +5 more |
2006-02-28 |
| 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, 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, Paul Andrew Wilcox, David Lansing Dill +5 more |
2001-01-16 |
| 6132109 |
Architecture and methods for a hardware description language source level debugging system |
Brent Gregory, Trinanjan Chatterjee, Jing C. Lin, Srinivas Raghvendra, Emil Girczyc +1 more |
2000-10-17 |
| 5937190 |
Architecture and methods for a hardware description language source level analysis and debugging system |
Brent Gregory, Trinanjan Chatterjee, Jing C. Lin, Srinivas Raghvendra, Emil Girczyc +1 more |
1999-08-10 |