According to Michael Williams
michael.williams@armltd.co.uk,
simulators for the ARM6 and ARM7 are available
as part of the ARM GNU toochain, from
ftp://ftp.cl.cam.ac.uk/arm/gnu/armul-1.0.tar.gz
and maybe also VHDL/Verilog models from ARM partners,
see http://www.arm.com/.
From instruction-set simulation and tracing