Publication
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.
Abstract
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.