Publikation
Closing the RISC-V Compliance Gap: Looking from the Negative Testing Side
Vladimir Herdt; Daniel Große; Rolf Drechsler
In: 57th Design Automation Conference. Design Automation Conference (DAC-2020), July 19-23, San Francisco, USA, 2020.
Zusammenfassung
Compliance testing for RISC-V is very important.Therefore, an official hand-written compliance test-suite is beingactively developed. However, besides requiring significant manualeffort, it focuses on positive testing (the implemented instructionswork as expected) only and neglects negative testing (considerillegal instructions to also ensure that no additional/unexpectedbehavior is accidentally added). This leaves a large gap in compli-ance testing.In this paper we propose a fuzzing-based test-suite generationapproach to close this gap. We found new bugs in several RISC-Vsimulators includingriscvOVPsimfrom Imperas which is the officialreference simulator for compliance testing.