A Correctness Proof of a Speculative, Superscalar, Out-of-Order, Renaming Microarchitecture

1998.

Cited by: 6|Bibtex|Views0|
Keywords:
out of orderout of order execution

Abstract:

Microarchitects are increasingly using techniques such as speculation, register renaming, and superscalar out-of-order execution to make use of instruction-level parallelism. However, the growing complexity of modern microprocessors exacerbates the difficulty of relating them to the simple machines that they emulate. Flaws found later in...More

Code:

Data:

Your rating :
0

 

Tags
Comments