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.

VP Model

• GUI-VP Kit: A RISC-V VP meets Linux graphics - enabling interactive graphical application development (GLSVLSI 2023)
• Adaptive simulation with Virtual Prototypes in an open-source RISC-V evaluation platform (JSA 2021)
• RISC-V based virtual prototype: An extensible and configurable platform for the system-level (JSA 2020)
• Extensible and configurable RISC-V based virtual prototype (FDL 2018)

VP Model & Cross-Level Verification

• Verifying SystemC TLM peripherals using modern C++ symbolic execution tools (DAC 2022)
• An exploration platform for microcoded RISC-V cores leveraging the one instruction set computer principle (ISVLSI 2022)
• Efficient cross-level processor verification using coverage-guided fuzzing (GLSVLSI 2022)
• Efficient cross-level testing for processor verification: A RISC-V case-study (FDL 2020) (Received Best Paper Award)
• Early verification of ISA extension specifications using deep reinforcement learning (GLSVLSI 2020)
• Fast and accurate performance evaluation for RISC-V using virtual prototypes (DATE 2020)
• Verifying instruction set simulators using coverage-guided fuzzing (DATE 2019)

Analysis, Debugging and Visualization

• A DSL for visualizing pipelines: A RISC-V case study (RISC-V Summit Europe 2023)
• Improving design understanding of processors leveraging datapath clustering (DATE 2023)
• Programming language assisted waveform analysis: A case study on the instruction performance of SERV (OSDA 2023)
• Programmable analysis of RISC-V processor simulations using WAL (DVCon Europe 2022)
• RVVRadar: a framework for supporting the programmer in vectorization for RISC-V (GLSVLSI 2022)
• Late breaking results: Waveform-based performance analysis of RISC-V processors (DAC 2022)
• WAL: a novel waveform analysis language for advanced design understanding and debugging (ASP-DAC 2022)

Software/Firmware/Microcode Verification

• Formal verification of SUBLEQ microcode implementing the RV32I ISA (FDL 2022) (Received Best Paper Award)
• RVX - a tool for concolic testing of embedded binaries targeting RISC-V platforms (ATVA 2020)
• Verification of embedded binaries using coverage-guided fuzzing with SystemC-based virtual prototypes (GLSVLSI 2020)
• Systematic RISC-V based firmware design (FDL 2019)
• Early Concolic Testing of Embedded Binaries with Virtual Prototypes: A RISC-V Case Study (DAC 2019)

RTL Verification

• EPEX: processor verification by equivalent program execution (GLSVLSI 2021)

Compliance Testing

• Towards RISC-V CSR Compliance Testing (ESL 2021)
• Closing the RISC-V compliance gap: Looking from the negative testing side (DAC 2020)
• Towards specification and testing of RISC-V ISA compliance (DATE 2020)

Security

• Dynamic information flow tracking for embedded binaries using SystemC-based virtual prototypes (DAC 2020)