Issued Patents All Time
| Patent # | Title | Co-Inventors | Date |
|---|---|---|---|
| 8494832 | Method and apparatus for software simulation | Sanjeev Krishnan | 2013-07-23 |
| 7814378 | Verification of memory consistency and transactional memory | Chaiyasit Manovit | 2010-10-12 |
| 7779393 | System and method for efficient verification of memory consistency model compliance | Chaiyasit Manovit, Robert E. Cypher | 2010-08-17 |
| 7689399 | Automatic extraction of design properties | Naveen Chandra | 2010-03-30 |
| 7673103 | Logging of level-two cache transactions into banks of the level-two cache stores the transactions for diagnostic and debug | Shailender Chaudhry | 2010-03-02 |
| 6983234 | System and method for validating processor performance and functionality | James M. O'Connor | 2006-01-03 |
| 6892286 | Shared memory multiprocessor memory model verification system and method | Durgam Vahia, Juin-Yeu Lu, Chaiyasit Manovit | 2005-05-10 |