HPCA 2026
Sat 31 January - Wed 4 February 2026 Sydney, Australia
co-located with HPCA/CGO/PPoPP/CC 2026
Wed 4 Feb 2026 12:30 - 12:50 at Collaroy - FPGA, SmartNIC, and Reconfigurable Computing Chair(s): Jinho Lee

Verification is a critical process for ensuring the correctness of modern processors. The emergence of new instruction set architectures (ISAs), such as RISC-V, has introduced additional demands for more agile and efficient verification methodologies, particularly in terms of verification efficiency and better coverage. While conventional software-based approaches, particularly fuzz testing techniques adapted from software verification domains, demonstrate satisfactory coverage metrics, they exhibit critical limitations when applied to processor verification, including suboptimal performance and inadequate test case quality. Hardware-accelerated solutions employing FPGA or ASIC platforms have attempted to mitigate these issues through fuzzing integration, yet they confront persistent challenges encompassing host-FPGA communication overhead, inefficient test pattern generation, and suboptimal verification loop implementation.

In this paper, we present TurboFuzz—an end-to-end hardware-accelerated verification framework for processors. TurboFuzz fully implements a hardware-accelerated Test Generation-Simulation-Coverage Feedback loop on FPGAs. By optimizing test case (seed) control flow, inter-seed scheduling, and hybrid fuzzer integration, TurboFuzz enhances test quality, thereby improving coverage and loop execution efficiency. Furthermore, TurboFuzz employs a feedback-driven generation mechanism to accelerate coverage convergence. Experimental results demonstrate that, within the same time budget, the FPGA-accelerated end-to-end verification loop achieved up to $2.23\times$ more coverage collection than software-based fuzzers within the same time budget, and up to $571\times$ performance speedup when catching real-world issues, while maintaining full visibility and debugging capabilities with moderate area overhead.

Wed 4 Feb

Displayed time zone: Hobart change

11:30 - 12:50
FPGA, SmartNIC, and Reconfigurable ComputingMain Conference at Collaroy
Chair(s): Jinho Lee Seoul National University
11:30
20m
Talk
RidgeWalker: Perfectly Pipelined Graph Random Walks on FPGAs
Main Conference
Hongshi Tan National University of Singapore, Yao CHEN , Xinyu Chen Hong Kong University of Science and Technology, Qizhen Zhang University of Toronto, Cheng Chen ByteDance, China, Weng-Fai Wong National University of Singapore, Bingsheng He National University of Singapore
11:50
20m
Talk
DP-HLS: A High-Level Synthesis Framework for Accelerating Dynamic Programming Algorithms in Bioinformatics
Main Conference
Anshu Gupta UC San Diego, Yingqi Cao UC San Diego, Jason Liang UC San Diego, Yatish Turakhia UC San Diego
12:10
20m
Talk
Sassy: SmartNIC-Assisted Notification Delivery for μs-scale RDMA Workloads
Main Conference
Hamed Seyedroudbari Georgia Tech, Alexandros Daglis Georgia Tech
12:30
20m
Talk
TurboFuzz: FPGA Accelerated Hardware Fuzzing for Processor Agile Verification
Main Conference
Yang Zhong Institute of Computing, Chinese Academy of Sciences, Haoran Wu University of Cambridge, Xueqi Li State Key Lab of Processors, Institute of Computing Technology, CAS, Sa Wang SKLP, Institute of Computing Technology, Chinese Academy of Sciences; University of Chinese Academy of Sciences, David Boland The University of Sydney, Yungang Bao State Key Lab of Processors, Institute of Computing Technology, CAS; University of Chinese Academy of Sciences, Kan Shi Institute of Computing, Chinese Academy of Sciences