ESL verification tools & topics

RISC-V based Virtual Prototype

Available under MIT license. For any questions or comments please contact us at

Key features of our VP

How to get our VP


An overview on the basic features of our RISC-V VP is provided by the following paper:

Additional publications based on our RISC-V VP are:

Created by
Institute for
Complex Systems, JKU Linz
Johannes Kepler University Linz
Group of
Computer Architecture, University of Bremen
University of Bremen

supported by BMBF Project CONFIRM Project CONVERS Project EffektiV Project SANITAS