MBMV 2020 – Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen
All proceedings of this conference

Fuzz-Testing RISC-V Simulators

Conference: MBMV 2020 – Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen - GMM/ITG/GI-Workshop
03/19/2020 - 03/20/2020 at Stuttgart, Deutschland

Proceedings: MBMV 2020 – Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen

Pages: 2Language: englishTyp: PDF

Authors:
Herdt, Vladimir; Grosse, Daniel; Drechsler, Rolf (Institute of Computer Science, University of Bremen, 28359 Bremen, Germany & Cyber-Physical Systems, DFKI GmbH, 28359 Bremen, Germany)

Abstract:
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.