xtrs
See:
A home page on xtrs
From
instruction-set simulation and tracing
