GNU Simulators
See:
bib cite
the source code for the GNU debugger, GDB
Shade
From
instruction-set simulation and tracing
