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.
@inproceedings{pub10690,
author = {Herdt, Vladimir and Große, Daniel and Drechsler, Rolf},
title = {Towards Specification and Testing of RISC-V ISA Compliance},
booktitle = {Design, Automation and Test in Europe (DATE). Design, Automation & Test in Europe (DATE-2020), March 9-13, Grenoble, France},
year = {2020}
}
German Research Center for Artificial Intelligence Deutsches Forschungszentrum für Künstliche Intelligenz