Fuzz-Testing RISC-V Simulators
Konferenz: MBMV 2020 – Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen - GMM/ITG/GI-Workshop
19.03.2020 - 20.03.2020 in Stuttgart, Deutschland
Tagungsband: GMM-Fb. 96: MBMV 2020
Seiten: 2Sprache: EnglischTyp: PDF
Autoren:
Herdt, Vladimir; Grosse, Daniel; Drechsler, Rolf (Institute of Computer Science, University of Bremen, 28359 Bremen, Germany & Cyber-Physical Systems, DFKI GmbH, 28359 Bremen, Germany)
Inhalt:
In this extended abstract, we summarize our work from [9], where we proposed to leverage state-of-the-art Coverage-guided Fuzzing (CGF) for Instruction Set Simulator (ISS) verification. We found new errors in every considered ISS, including one error in the official RISC-V reference simulator Spike. In addition, we present recent developments going beyond.