Issued Patents All Time
Showing 1–25 of 25 patents
| Patent # | Title | Co-Inventors | Date |
|---|---|---|---|
| 7900181 | Systems, methods, and media for block-based assertion generation, qualification and analysis | Azadeh Salehi | 2011-03-01 |
| 7870381 | Schema-based portal architecture for assessment and integration of silicon IPs | Azadeh Salehi | 2011-01-11 |
| 7865853 | Systems, methods, and media for block-based assertion generation, qualification and analysis | Azadeh Salehi | 2011-01-04 |
| 7711992 | Generating a regression suite database | James Coulter | 2010-05-04 |
| 7571184 | Dynamic schema-based silicon IP analysis, qualification, data exchange, and integration | Azadeh Salehi | 2009-08-04 |
| 7512839 | Methods, systems, and media for generating a regression suite database | James Coulter | 2009-03-31 |
| 7483913 | XML-based system and method for collaborative web-based design and verification of system-on-a-chip | — | 2009-01-27 |
| 7467364 | Database mining method and computer readable medium carrying instructions for coverage analysis of functional verification of integrated circuit designs | — | 2008-12-16 |
| 7320090 | Methods, systems, and media for generating a regression suite database | James Coulter | 2008-01-15 |
| 7313772 | Systems, methods, and media for block-based assertion generation, qualification and analysis | Azadeh Salehi | 2007-12-25 |
| 7278056 | Methods, systems, and media for management of functional verification | — | 2007-10-02 |
| 7007251 | Database mining system and method for coverage analysis of functional verification of integrated circuit designs | — | 2006-02-28 |
| 6968346 | XML-based system and method for collaborative web-based design and verification of system-on-a-chip | — | 2005-11-22 |
| 6647513 | Coverage-based test generation for microprocessor verification | — | 2003-11-11 |
| 6584455 | System and method for predicting design errors in integrated circuits | — | 2003-06-24 |
| 6553548 | System and method for recovering from design errors in integrated circuits | — | 2003-04-22 |
| 6523151 | Method for verifying the design of a microprocessor | — | 2003-02-18 |
| 6052676 | Adaptive hypermedia presentation method and system | — | 2000-04-18 |
| 5870768 | Expert system and method employing hierarchical knowledge base, and interactive multimedia/hypermedia applications | — | 1999-02-09 |
| 5822745 | Expert system and method employing hierarchical knowledge base, and interactive multimedia/hypermedia applications | — | 1998-10-13 |
| 5806056 | Expert system and method employing hierarchical knowledge base, and interactive multimedia/hypermedia applications | — | 1998-09-08 |
| 5799292 | Adaptive hypermedia presentation method and system | — | 1998-08-25 |
| 5720007 | Expert system and method employing hierarchical knowledge base, and interactive multimedia/hypermedia applications | — | 1998-02-17 |
| 5696885 | Expert system and method employing hierarchical knowledge base, and interactive multimedia/hypermedia applications | — | 1997-12-09 |
| 5644686 | Expert system and method employing hierarchical knowledge base, and interactive multimedia/hypermedia applications | — | 1997-07-01 |