Towards Specification and Testing of RISC-V ISA Compliance

Vladimir Herdt, Daniel Große, Rolf Drechsler

In: Design, Automation and Test in Europe (DATE). Design, Automation & Test in Europe (DATE-2020) March 9-13 Grenoble France 2020.


Compliance testing for RISC-V is very important.Therefore, an official hand-written compliance test-suite is beingactively developed. However, this requires significant manual effortin particular to achieve a high test coverage.In this paper we propose a test-suite specification mechanism incombination with a first set of instruction constraints and coveragerequirements for the base RISC-V ISA. In addition, we presentan automated method to generate a test-suite that satisfies thespecification. Our evaluation demonstrates the effectiveness andpotential of our method.


German Research Center for Artificial Intelligence
Deutsches Forschungszentrum für Künstliche Intelligenz