DirectFuzz: Automated Test Generation for RTL Designs using Directed Graybox Fuzzing

A critical challenge in RTL verification is to generate effective test inputs. Recently, RFUZZ proposed to use an automated software testing technique, namely Graybox Fuzzing, to effectively generate test inputs to maximize the coverage of the whole hardware design. For a scenario where a tiny fract...

Ausführliche Beschreibung

Bibliographische Detailangaben

Veröffentlicht in:	2021 58th ACM/IEEE Design Automation Conference (DAC) S. 529 - 534
Hauptverfasser:	Canakci, Sadullah, Delshadtehrani, Leila, Eris, Furkan, Taylor, Michael Bedford, Egele, Manuel, Joshi, Ajay
Format:	Tagungsbericht
Sprache:	Englisch
Veröffentlicht:	IEEE 05.12.2021
Schlagworte:	coverage directed test generation Design automation Fuzzing Graybox fuzzing Hardware RISC-V RTL verification Test pattern generators
Online-Zugang:	Volltext
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!