RISC-V Research

Here we summarize our activities related to RISC-V. Besides papers, the Institute for Complex Systems (ICS) contributes via open-source tools, benchmarks and more.

Snake demo on HiFive1 RISC-V VP vs real Hardware
GUI-VP Kit and networking: Loading a web page from the Internet with a web-browser running on Linux and X.Org
GUI-VP Kit real-time interaction: Playing a Linux port of a classic first-person 3D-game

New: Our virtual prototype RISCV-VP++ is available now at our ICS GitHub. RISCV VP++ allows very fast Linux bootup, VNC, Vector Extension (RVV), 3D-game demos, and more! Take a look at the GUI-VP Kit to get a quick and easy-to-use starting point for experimenting with RISCV-VP++, Linux and interactive graphical applications.

VP Model

VP Model & Cross-Level Verification

Analysis, Debugging and Visualization

Software/Firmware/Microcode Verification

RTL Verification

Compliance Testing