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

VP Model

VP Model & Cross-Level Verification

Analysis, Debugging and Visualization

Software/Firmware/Microcode Verification

RTL Verification

Compliance Testing