Designing a CPU model: from a pseudo-formal document to fast code

Frédéric Blanqui, Claude Helmstetter, Vania Joloboff, Jean-François Monin, Xiaomu Shi
[Google Scholar] [DBLP] [Citeseer] [url]

RAPIDO'11 3rd Workshop on: Rapid Simulation and Performance Evaluation: Methods and Tools
2011
Note(s): ISA specification