| 8799586 |
Memory mirroring and migration at home agent |
Ganesh Kumar, Dheemanth Nagaraj, Vincent R. Freytag, Eric Delano |
2014-08-05 |
| 8782347 |
Controllably exiting an unknown state of a cache coherency directory |
Ganesh Kumar, Dheemanth Nagaraj, Vincent R. Freytag, Eric Delano |
2014-07-15 |
| 8327228 |
Home agent data and memory management |
Ganesh Kumar, Dheemanth Nagaraj, Vincent R. Freytag, Eric Delano |
2012-12-04 |
| 5815688 |
Verification of accesses in a functional model of a speculative out-of-order computer system |
— |
1998-09-29 |
| 5805470 |
Verification of instruction and data fetch resources in a functional model of a speculative out-of order computer system |
— |
1998-09-08 |
| 5794012 |
Verification of strongly ordered memory accesses in a functional model of an out-of-order computer system |
— |
1998-08-11 |
| 5313591 |
Computer bus arbitration for N processors requiring only N unidirectional signal leads |
— |
1994-05-17 |