Issued Patents All Time
Showing 1–16 of 16 patents
| Patent # | Title | Co-Inventors | Date |
|---|---|---|---|
| 8914761 | Metastability effects simulation for a circuit description | Tai A. Ly, Ka Kei Kwok, Vijaya Vardhan Gupta | 2014-12-16 |
| 8438516 | Metastability effects simulation for a circuit description | Tai A. Ly, Ka Kei Kwok, Vijaya Vardhan Gupta | 2013-05-07 |
| 7712062 | Metastability effects simulation for a circuit description | Tai A. Ly, Ka Kie Kwok, Vijaya Vardhan Gupta | 2010-05-04 |
| 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 |
| 7454728 | Metastability injector for a circuit description | Tai A. Ly, Ka Kei Kwok, Vijaya Vardhan Gupta, Ross Andrew Andersen, Ping Fai Yeung +1 more | 2008-11-18 |
| 7356789 | Metastability effects simulation for a circuit description | Tai A. Ly, Ka Kei Kwok, Vijaya Vardhan Gupta | 2008-04-08 |
| 7243322 | Metastability injector for a circuit description | Tai A. Ly, Ka Kei Kwok, Vijaya Vardhan Gupta, Ross Andrew Ander, Ping Fai Yeung +1 more | 2007-07-10 |
| 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, 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, 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 |
| 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 Kristianto Mardjuki, Robert K. Couch +4 more | 2000-11-14 |
| 5625580 | Hardware modeling system and method of use | Andrew Read, Mark S. Papamarcos, Wayne Phillip Heideman, Robert Kristianto Mardjuki, Robert K. Couch +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 Kristianto Mardjuki, Robert K. Couch +4 more | 1994-11-29 |
| 5353243 | Hardware modeling system and method of use | Andrew Read, Mark S. Papamarcos, Wayne Phillip Heideman, Robert Kristianto Mardjuki, Robert K. Couch +3 more | 1994-10-04 |