ProcessorFuzz: Processor Fuzzing with Control and Status Registers Guidance
PaperProcessorFuzz is a HOST 2023 paper that presents a processor fuzzer for RTL verification. Its core idea is CSR-transition coverage, which treats new transitions in Control and Status Registers as coverage-increasing events that correspond to new processor states. The design also uses ISA simulation to quickly identify interesting inputs, reducing reliance on slower RTL simulation for fuzzing guidance. In evaluation on Rocket, BOOM, and BlackParrot RISC-V processors, the paper reports triggering bugs found by DIFUZZRTL 1.23× faster on average and finding eight new bugs in open-source processors plus one new bug in a reference model.
WIKI
Overview
ProcessorFuzz: Processor Fuzzing with Control and Status Registers Guidance is a 2023 paper by Sadullah Canakci, Chathura Rajapaksha, Leila Delshadtehrani, Anoop Mysore Nataraja, Michael Bedford Taylor, Manuel Egele, and Ajay Joshi. It appeared at the IEEE International Symposium on Hardware Oriented Security and Trust (HOST 2023).[C1]
The paper presents ProcessorFuzz, a processor fuzzer for RTL verification. The work is motivated by a mismatch between conventional fuzzing feedback and processor verification needs: hardware is not directly executable on a host machine, and standard software coverage notions do not directly capture meaningful processor-state exploration.[C2][C3]
NEIGHBORHOOD
No graph connections found for this entity yet. It may appear in future ingestion runs.
explore full graph →