Issued Patents All Time
Showing 1–10 of 10 patents
| Patent # | Title | Co-Inventors | Date |
|---|---|---|---|
| 9177089 | Formal verification coverage metrics for circuit design properties | Ziyad Hanna, Per Anders M. Franzen, Habeeb Farah, Rajeev Ranjan | 2015-11-03 |
| 9158874 | Formal verification coverage metrics of covered events for circuit design properties | Rajeev Ranjan, Habeeb Farah, Ziyad Hanna | 2015-10-13 |
| 8826201 | Formal verification coverage metrics for circuit design properties | Ziyad Hanna, Per Anders M. Franzen, Habeeb Farah, Rajeev Ranjan | 2014-09-02 |
| 7895379 | Logic controller having hard-coded control logic and programmable override control store entries | David R. Spatafore | 2011-02-22 |
| 7533223 | System and method for handling memory requests in a multiprocessor shared memory system | Kelvin S. Vartti | 2009-05-12 |
| 7496715 | Programmable cache management system and method | Kelvin S. Vartti | 2009-02-24 |
| 7299311 | Apparatus and method for arbitrating for a resource group with programmable weights | Chad M. Sepeda, Kelvin S. Vartti | 2007-11-20 |
| 7260677 | Programmable system and method for accessing a shared memory | Kelvin S. Vartti, Mitchell A. Bauman | 2007-08-21 |
| 7222222 | System and method for handling memory requests in a multiprocessor shared memory system | Kelvin S. Vartti | 2007-05-22 |
| 6973548 | Data acceleration mechanism for a multiprocessor shared memory system | Kelvin S. Vartti, Mitchell A. Bauman, Ronald G. Arnold | 2005-12-06 |