Page
%P
-
Article
A Buffer-Oriented Methodology for Microarchitecture Validation
We propose a methodology for validating microarchitecture specifications. We view microarchitecture features as specific operations on entries of various buffers in the processor. Our validation approach is to...