Presentation
DirectFuzz: Automated Test Generation for RTL Designs using Directed Graybox Fuzzing
Time
Location
Event Type
Research Manuscript
Hosted in Virtual Platform
Design Verification and Validation
EDA
DescriptionA critical challenge in RTL verification is to generate effective test inputs. RFUZZ used an automated software testing technique, Graybox Fuzzing, to effectively generate test inputs to maximize the coverage of the whole hardware design. For a scenario where a tiny fraction of a large hardware design needs to be tested, the RFUZZ approach is extremely time-consuming. We present DirectFuzz, a directed test generation mechanism.
DirectFuzz uses Directed Graybox Fuzzing to generate test inputs targeted towards a module instance. Experimental results show that DirectFuzz covers the target sites up to 17.5x faster than RFUZZ on a variety of RTL designs.
DirectFuzz uses Directed Graybox Fuzzing to generate test inputs targeted towards a module instance. Experimental results show that DirectFuzz covers the target sites up to 17.5x faster than RFUZZ on a variety of RTL designs.