ESL verification tools & topics

RISC-V related approaches

Either our approaches target SystemC-based Virtual Prototypes (VPs) directly, or they leverage VPs to solve more general verification problems. In the following we provide a categorization of our RISC-V related approaches:

VP Model

VP Model Verification

Cross-Level Verification

Software and Firmware Verification

Compliance Testing


VP Performance

For any questions or comments please contact us at

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