Towards Specification and Testing of RISC-V ISA Compliance
Vladimir Herdt1,a, Daniel Große1,2,b and Rolf Drechsler1,2,c
1Institute of Computer Science, University of Bremen, 28359 Bremen, Germany
2Cyber-Physical Systems, DFKI GmbH, 28359 Bremen, Germany
avherdt@informatik.uni-bremen.de
bgrosse@informatik.uni-bremen.de
cdrechsle@informatik.uni-bremen.de
ABSTRACT
Compliance testing for RISC-V is very important. Therefore, an official hand-written compliance test-suite is being actively developed. However, this requires significant manual effort in particular to achieve a high test coverage.
In this paper we propose a test-suite specification mechanism in combination with a first set of instruction constraints and coverage requirements for the base RISC-V ISA. In addition, we present an automated method to generate a test-suite that satisfies the specification. Our evaluation demonstrates the effectiveness and potential of our method.
