We are happy to announce the first build of the QEMU4V tool.
QEMU4V ("QEMU for Verification") is an open source emulator for assembler programs that is based on QEMU project. The tool performs emulation for programs of several hardware architectures and provides some features (tracing, etc.) for system verification of microprocessors.
The complete list of closed issues is available here
The source code can be downloaded from here