TY  - RPRT
TI  - Designing a CPU model: from a pseudo-formal document to fast code
AU  - Frédéric Blanqui
AU  - Claude Helmstetter
AU  - Vania Joloboff
AU  - Jean-François Monin
AU  - Xiaomu Shi
PY  - 2011
UR  - https://arxiv.org/abs/1109.4351
ID  - 1109.4351
ER  -