paperbot · PL 论文追踪

全部论文 待读 收藏

P2 Debugging in the brave new world of reconfigurable hardware

可重构硬件新世界中的调试
ASPLOS Proceedings of the 27th ACM International Conference on Architectural Support for Programming Languages and Operating Systems2022匹配度 2/10 · 论文聚焦 FPGA/reconfigurable hardware 的缺陷定位与调试工具,属于硬件/EDA 调试方向;与用户的 PL 与 AI 交叉、静态分析/LLM 改进、浮点/贝叶斯程序分析等核心方向无直接关联,仅“缺陷定位/调试”概念相邻。引用 26 inbox
Jiacheng Ma, Gefei Zuo, Kevin Loughlin, Haoyang Zhang, Andrew Quinn, Baris Kasikci
crossref: 2026-09-12dblp: 2026-09-12

AI 速览

一句话:指出现有 FPGA 工具缺乏适应快速开发周期的缺陷定位能力,并呼吁系统理解硬件缺陷的症状、根因与修复。

软件与硬件开发周期传统上差异显著:软件可在部署后打补丁,开发迭代快;硬件在制造后修复缺陷代价极高,因此依赖大量仿真和形式验证。FPGA 等可重构硬件允许开发者在片上测试甚至生产中修补缺陷,有望推动硬件开发走向类似软件的敏捷模式。然而,现有 FPGA 调试工具主要基于仿真和验证,缺少适用于快速开发周期的缺陷定位工具。论文指出的核心缺口是:要构建此类工具,必须全面理解硬件缺陷的症状、根因与修复方式。摘要未详述具体方法、系统实现或评估结果。

问题
FPGA 等可重构硬件支持在流片后修补缺陷,使硬件开发有望像软件一样敏捷;但现有调试工具主要面向仿真与验证,缺乏适合片上测试/生产后快速周期的缺陷定位工具。核心问题是需要先理解硬件缺陷的症状、根因与修复方式。
方法
摘要未给出具体方法;论文从问题出发指出,要开发面向快速开发周期的硬件缺陷定位工具,必须先系统性地理解可重构硬件缺陷。
评估
摘要未报告评估结果或实验设置;仅强调理解缺陷症状、根因与修复是工具设计的前提。
原文摘要(Abstract)

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.

链接与引用

DOI 原文 · DBLP

BibTeX
@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}
}