Overview

SpinalFuzz is a tool for applying coverage-guided fuzzing to SpinalHDL designs. It is identified in the literature as “SpinalFuzz: Coverage-Guided Fuzzing for SpinalHDL Designs,” authored by Katharina Ruep and Daniel Große and published in the 2022 European Test Symposium.

Purpose and scope

The available evidence characterizes SpinalFuzz as a hardware-verification fuzzing approach aimed at SpinalHDL designs. In a related-work discussion on processor-verification fuzzing, SpinalFuzz is described as a fuzzer for SpinalHDL designs that automates two setup tasks:

• generation of the input corpus;
• generation of the fuzzer harness.

Position in hardware fuzzing

The cited processor-verification paper notes that only a small number of hardware-verification approaches using fuzzing had been proposed, and lists SpinalFuzz among those approaches. Within that context, SpinalFuzz is distinguished by its target domain—SpinalHDL designs—rather than by the processor-core co-simulation approach discussed as the main contribution of the citing paper.

Bibliographic reference

Katharina Ruep and Daniel Große. 2022. SpinalFuzz: Coverage-Guided Fuzzing for SpinalHDL Designs. In European Test Symposium.