Publikation

Fuzz-Testing RISC-V Simulators

Vladimir Herdt, Daniel Große, Rolf Drechsler

In: Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV). ITG/GMM/GI-Workshop "Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen" (MBMV-2020) March 19-20 Stuttgart Germany 2020.

Deutsches Forschungszentrum für Künstliche Intelligenz
German Research Center for Artificial Intelligence