一句话:指出现有 FPGA 工具缺乏适应快速开发周期的缺陷定位能力,并呼吁系统理解硬件缺陷的症状、根因与修复。
软件与硬件开发周期传统上差异显著:软件可在部署后打补丁,开发迭代快;硬件在制造后修复缺陷代价极高,因此依赖大量仿真和形式验证。FPGA 等可重构硬件允许开发者在片上测试甚至生产中修补缺陷,有望推动硬件开发走向类似软件的敏捷模式。然而,现有 FPGA 调试工具主要基于仿真和验证,缺少适用于快速开发周期的缺陷定位工具。论文指出的核心缺口是:要构建此类工具,必须全面理解硬件缺陷的症状、根因与修复方式。摘要未详述具体方法、系统实现或评估结果。
Software and hardware development cycles have traditionally been quite distinct. Software allows post-deployment patches, which leads to a rapid development cycle. In contrast, hardware bugs that are found after fabrication are extremely costly to fix (and sometimes even unfixable), so the traditional hardware development cycle involves massive investment in extensive simulation and formal verification. Reconfigurable hardware, such as a Field Programmable Gate Array (FPGA), promises to propel hardware development towards an agile software-like development approach, since it enables a hardware developer to patch bugs that are detected during on-chip testing or in production. Unfortunately, FPGA programmers lack bug localization tools amenable to this rapid development cycle, since past tools mainly find bugs via simulation and verification. To develop hardware bug localization tools for a rapid development cycle, a thorough understanding of the symptoms, root causes, and fixes of hardware bugs is needed.
@inproceedings{MaZLZ0K22,
title = {Debugging in the brave new world of reconfigurable hardware},
author = {Jiacheng Ma and Gefei Zuo and Kevin Loughlin and Haoyang Zhang and Andrew Quinn and Baris Kasikci},
booktitle = {ASPLOS},
year = {2022},
doi = {10.1145/3503222.3507701}
}