Presentation
DB-Hunter: Interactive-Guided Differential Testing for FPGA Simulation Debugger
DescriptionCommercial FPGA simulation verification tools such as Xilinx' Vivado aids developers in swiftly identifying and rectifying bugs and issues in FPGA designs through a robust built-in debugger. The debug process ensures the correctness and development efficiency of the FPGA design. Hardening such FPGA debugger tools by testing is crucial since engineers might misinterpret code and introduce incorrect fixes, leading to security risks. To address this issue, we propose DB-Hunter to perform program and debug action transformations to generate diverse and complex Verilog design file code and debug actions, to thoroughly test the Vivado debugger using differential testing and detect bugs. In three months, DB-Hunter reported 18 issues, including 10 confirmed as bugs by Xilinx Support, 6 of which have been fixed.
Event Type
Work-in-Progress Poster
TimeWednesday, June 265:00pm - 6:00pm PDT
LocationLevel 2 Lobby
AI
Autonomous Systems
Cloud
Design
EDA
Embedded Systems
IP
Security