面向 FPGA 仿真调试工具的交互式引导差分测试方法
计算机视觉与模式识别
2025-03-04 v1
摘要
Field-Programmable Gate Array (FPGA) 开发工具链广泛用于 FPGA 设计、仿真和验证，在通信、汽车电子和航空航天等关键领域。诺贝尔 Xilinx 的 Vivado 等商业 FPGA 工具链通过强大的内置调试器帮助开发人员快速识别和纠正 FPGA 设计中的 bug 和问题，确保 FPGA 设计的正确性和开发效率。通过测试加固此类 FPGA chip 调试工具至关重要，因为工程师可能误解代码并引入错误的修复，从而导致安全风险。然而，FPGA chip 调试工具难以测试，因为需要评估 RTL 设计以及一系列调试动作，包括设置断点和穿过代码。为此，我们提出一种称为 DB-Hunter 的交互式差分测试方法，用于检测 Vivado FPGA chip 调试工具中的 bug。具体而言，DB-Hunter 由三个组件组成：RTL 设计转换组件、调试动作转换组件和交互式差分测试组件。通过执行 RTL 设计和调试动作转换，DB-Hunter 生成多样且复杂的 RTL 设计和调试动作，以进行交互式差分测试来检测 Vivado 调试器。在三个月内，DB-Hunter 报告了 18 个问题，其中 10 个已被 Xilinx Support 确认为 bug，6 个 bug 已在上一个版本中修复。
引用
@article{arxiv.2503.01136,
title = {Prior-guided Hierarchical Harmonization Network for Efficient Image Dehazing},
author = {Xiongfei Su and Siyuan Li and Yuning Cui and Miao Cao and Yulun Zhang and Zheng Chen and Zongliang Wu and Zedong Wang and Yuanlong Zhang and Xin Yuan},
journal= {arXiv preprint arXiv:2503.01136},
year = {2025}
}