Automatic refinement checking of pipelines with out-of-order execution
Sudarshan K. Srinivasan[doi] [Google Scholar] [DBLP] [Citeseer]
IEEE Transactions on Computers
59(8)
IEEE Computer Society
Los Alamitos, CA, USA
Pages 1138-1144
2010
Note(s): CPU verification
IEEE Computer Society
Los Alamitos, CA, USA
Pages 1138-1144
2010
Note(s): CPU verification