- Bounded Starvation Checking of an Arbiter Using Formal Verification
07/06/2010 Issued as US Patent 7,752,369 (Krishnan Kailas, Brian Monwai, Viresh Paruthi)
- Method and System for Tracking Instruction Dependency in an Out-of-Order Processor
05/04/2010 Issued as US Patent 7,711,929 (Bill Burky, Krishnan Kailas)
- Method and apparatus for a computing system using meta program representation
02/16/2010 Issued as US Patent 7,665,070 (Krishnan Kailas)
- Method and system for dependency tracking and flush recovery for an out-of-order microprocessor
02/09/2010 Issued as US Patent 7,660,971 (Vikas Agarwal, Bill Burky, Krishnan Kailas, Balaram Sinharoy)
- Method and apparatus for register renaming using multiple physical register files and avoiding associative search
03/17/2009 Issued as US Patent 7,506,139 (Bill Burky, Krishnan Kailas, Balaram Sinharoy)
- Method and apparatus for dynamic priority-based cache replacement
03/10/2009 Issued as US Patent 7,502,890 (Krishnan Kailas, Rajiv Ravindran, Zehra Sura)
- Method and apparatus for providing fast remote register access in a clustered VLIW processor using partitioned register files
01/27/2009 Issued as US Patent 7,484,075 (Krishnan Kailas)
- Computer processing system employing an instruction schedule cache
01/02/2009 Issued as US Patent 7,454,597 (Krishnan Kailas, Ravi Nair, Sumedh Sathaye, Wolfram Sauer, J-D Wellman)
Last updated on
$Date: 2010/07/06 09:34:02 $