Research Resources
SETH Hardware Fuzzing Papers
TheHuzz
Kande 2022
The original hardware fuzzing framework supporting CVA6, BOOM, and RocketCore.
HyPFuzz: Formal-Assisted Processor Fuzzing
Chen 2023
Hardware fuzzing integrated with formal verification
PSOFuzz: Particle Swarm Optimization
Chen, Gohil 2023
Mutation Scheduling using Particle Swarm Optimization
(ChatFuzz) Beyond Random Inputs: A Novel ML-Based Hardware Fuzzing
Rostami 2024
Large Language Model guided input generation
MABFuzz: Multi-Armed Bandit Algorithms
Gohil, Kande 2024
Dynamic search space coverage with Multi-Armed Bandits
WhisperFuzz: White-Box Fuzzing for Timing Vulnerabilities
Borkar, Chen 2024
Static Analysis of Microarchitectural State Transitions
GenHuzz: An Efficient Generative Hardware Fuzzer
Wu 2025
Reinforcement Learning based test instruction generation
RLFuzz: Accelerating Hardware Fuzzing with Deep Reinforcement Learning
Götz 2025
Reinforcement Learning based test instruction mutation
Other Hardware Fuzzing Papers
Cascade: Intricate Program Generation
Solt 2024
Better test instructions to improve fuzzing efficiency.
MorFuzz: Fuzzing Processor via Runtime Instruction Morphing enhanced Synchronizable Co-simulation
Xu, Liu 2023
Better instruction mutation via dynamic runtime primitives
ProcessorFuzz: Processor Fuzzing with Control and Status Registers Guidance
Canakci 2023
Better instruction mutation with Control and Status Registers coverage metrics
Tools Needed for Fuzzing
Chipyard Hardware Development Platform
Agile System-on-Chip Platform
Chipyard is a development platform that is used by TheHuzz to simulate hardware on software.
RISC-V Toolchain
Cross-compiler for RISC-V
Used for compiling RISC-V binaries, also includes Spike Golden Reference Model.
Hardware Simulator/Compiler
Run hardware designs on software
Tools like VCS and Verilator allow hardware designs to be simulated on software.
TAMU Olympus HPC
TAMU ECEN department's High Performance Computing Server
Used for running large workloads and commercially licensed products like VCS.