Abstract:Ever-increasing design complexity of System-on-Chips (SoCs) led to significant verification challenges. Unlike software, bugs in hardware design are vigorous and eternal i.e., once the hardware is fabricated, it cannot be repaired with any patch. Despite being one of the powerful techniques used in verification, the dynamic random approach cannot give confidence to complex Register Transfer Leve (RTL) designs during the pre-silicon design phase. In particular, achieving coverage targets and exposing bugs is a complicated task with random simulations. In this paper, we leverage an existing testing solution available in the software world known as fuzzing and apply it to hardware verification in order to achieve coverage targets in quick time. We created an automated hardware fuzzing framework FuzzWiz using metamodeling and Python to achieve coverage goals faster. It includes parsing the RTL design module, converting it into C/C++ models, creating generic testbench with assertions, fuzzer-specific compilation, linking, and fuzzing. Furthermore, it is configurable and provides the debug flow if any crash is detected during the fuzzing process. The proposed framework is applied on four IP blocks from Google's OpenTitan chip with various fuzzing engines to show its scalability and compatibility. Our benchmarking results show that we could achieve around 90% of the coverage 10 times faster than traditional simulation regression based approach.

An FPGA-based Random Functional Verification Method for Cache

Functional Verification of EPA Chip

Seeds of SEED: H 2 Cache: Building a Hybrid Randomized Cache Hierarchy for Mitigating Cache Side-Channel Attacks

Functional verification of external memory interface IP core based on restricted random testbench

A Functional Verification Framework For Dsps With Vliw Architecture Based On A Random Program Generator

New methods of FPGA co-verification for system on chip (SoC)

A Random Delay Injection Based Clock Domain Crossing Verification Method

Function Verification of Interface IP Core Based on the Restricted Random Test Bench

A Deep Research on the Chip Verification Platform Based on Network

A Dynamic Random Instruction And Stimulus Generation For Functional Verification Of Embedded Processor

Functional Verification Methodology of A 32-Bit Risc Microprocessor

Static Analysis for Fast and Accurate Design Space Exploration of Caches

The Research and Implement of an Advanced Function Coverage Based Verification Environment

A Full Coverage Test Method for Configurable Logic Blocks in Fpga

An Analytical Approach for Fast and Accurate Design Space Exploration of Instruction Caches

A System-Level SOC Verification Method Based on Hardware Accelerator

A Firmware-Based Co-Verification Platform for SoC

FuzzWiz -- Fuzzing Framework for Efficient Hardware Coverage

A Novel Scheme for Application-Dependent Testing of FPGAs

A Cycle-Accurate Soft Error Vulnerability Analysis Framework for FPGA-based Designs

Multi-layer Random Stimulus Strategy for Microprocessor Verification