Issued Patents All Time
| Patent # | Title | Co-Inventors | Date |
|---|---|---|---|
| 9990290 | Cache coherency verification using ordered lists | Dean G. Bair, Jonathan T. Hsieh, Eugene S. Rotter | 2018-06-05 |
| 9665280 | Cache coherency verification using ordered lists | Dean G. Bair, Jonathan T. Hsieh, Eugene S. Rotter | 2017-05-30 |
| 9665281 | Cache coherency verification using ordered lists | Dean G. Bair, Jonathan T. Hsieh, Eugene S. Rotter | 2017-05-30 |
| 8515727 | Automatic logic model build process with autonomous quality checking | Matthew A. Adams, Khary J. Alexander | 2013-08-20 |