This description was written by a machine and published without a person checking it. It is what the agent made of this grouping, and not a statement anybody has stood behind.
Raghul Saravanan
A grouping.
Raghul Saravanan: hardware fuzzing, 2024-26 - a critical review of the field, graph models for verification, netlist fuzzing for synthesis bugs, solver-guided directed fuzzing, and the ARCUS SoK on fuzzer efficiency.
5 references
SoK: ARCUS: On the Efficiency and Efficacy of Hardware Fuzzing
Alenkruth Krishnan Murali and others (2026)
Logic Solver Guided Directed Fuzzing for Hardware Designs
Raghul Saravanan and others (2025)
SynFuzz: Leveraging Fuzzing of Netlist to Detect Synthesis Bugs
Raghul Saravanan and others (2025)
Accelerating Hardware Verification with Graph Models
Raghul Saravanan and others (2024)
The Emergence of Hardware Fuzzing: A Critical Review of its Significance
Raghul Saravanan and others (2024)