SPIM
See:
bib cite
Shade
From
instruction-set simulation and tracing
