ITG/GI/GMM-Workshop Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV)
Sprache des Tagungstitel:
Englisch
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].
Forschungs-