Katharina Ruep, Daniel Große,
"Fuzz-testing of SpinalHDL designs"
: ITG/GI/GMM-Workshop Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV), 2023
Original Titel:
Fuzz-testing of SpinalHDL designs
Sprache des Titels:
Englisch
Original Buchtitel:
ITG/GI/GMM-Workshop Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV)
Original Kurzfassung:
In this extended abstract, we summarize our work from [11], where we proposed to bring Coverage-guided Fuzzing (CGF) to the Spinal HDL design flow. We demonstrated for a wide range of Spinal HDL designs the effectiveness of our tool in comparison to Constrained Random Verification (CRV). In addition, we present recent developments going beyond [11].