Format:
Illustationen, Diagramme
ISBN:
9781728110851
Content:
Compliance testing for RISC-V is very important. Therefore, an official hand-written compliance test-suite is being actively developed. However, besides requiring significant manual effort, it focuses on positive testing (the implemented instructions work as expected) only and neglects negative testing (consider illegal instructions to also ensure that no additional/unexpected behavior is accidentally added). This leaves a large gap in compliance testing.In this paper we propose a fuzzing-based test-suite generation approach to close this gap. We found new bugs in several RISC-V simulators including riscvOVPsim from Imperas which is the official reference simulator for compliance testing.
Note:
Gesehen am 13.07.2023
In:
ACM/EDAC/IEEE Design Automation Conference (57. : 2020 : Online), Proceedings of the 57th ACM/EDAC/IEEE Design Automation Conference (DAC), [Piscataway, NJ] : IEEE, 2020, (2020), Artikel-ID 20035817, Seite $t6, 9781728110851
In:
year:2020
In:
elocationid:20035817
In:
pages:$t6
Language:
English
DOI:
10.1109/DAC18072.2020.9218629
Author information:
Drechsler, Rolf 1969-
Author information:
Große, Daniel
Author information:
Herdt, Vladimir
Bookmarklink
