Fuzz-testing of SpinalHDL designs

Activity: Talk or presentation › Contributed talk › science-to-science

Description

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].
Period24 Mar 2023
Event titleITG/GI/GMM-Workshop Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV) 2023
Event typeConference
LocationFreiburg, GermanyShow on map

Fields of science

  • 202017 Embedded systems
  • 202005 Computer architecture
  • 102005 Computer aided design (CAD)
  • 102 Computer Sciences
  • 102011 Formal languages

JKU Focus areas

  • Digital Transformation

Documents & Links