Faster Hardware Fuzzing Framework

Introduction

This is the source code of our submission "Bridging the Gap between Hardware Fuzzing and Industrial Verification" for GLSVLSI 2025.

Our prototype framework HwFuzzEnv is built upon RTL Fuzz Lab and JQF. We have solved the above speed bottlenecks in hardware fuzzing and achieved a speedup of hundreds of times compared with RTL Fuzz Lab.

Installation

The following dependencies are required to run this software:

• make
• gcc, g++
• java (version >= 11), sbt

To run our HwFuzzEnv:

Firstly, our modified chiseltest should be packaged and published locally.

cd chiseltest
sbt
publishLocal
exit

Secondly, verilator is also modified and need to be compiled.

cd verilator
autoconf
export VERILATOR_ROOT=`pwd`
./configure
make

Then we can run HwFuzzEnv through scripts provided.

bash run.sh