Project

General

Profile

News

QEMU4V 0.1.1 released

Added by Sergey Smolov 7 months ago

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.

This build is based on 2.12.0 version of the QEMU emulator and includes all the features of QEMU for ARMv8 and QEMU for RISC-V tools.

The complete list of closed issues is available here

The source code can be downloaded from here

    (1-5/5)

    Also available in: Atom