Debugging in the brave new world of reconfigurable hardware
Debugging in the brave new world of reconfigurable hardware
复制标题
在可重构硬件的美丽新世界中进行调试
DOI：
10.1145/3503222.3507701
复制
发表时间：
2022
期刊：
影响因子：
--
通讯作者：
Kasikci, Baris
中科院分区：
文献类型：
--
作者：
Ma, Jiacheng;Zuo, Gefei;Loughlin, Kevin;Zhang, Haoyang;Quinn, Andrew;Kasikci, Baris
软件和硬件的开发周期传统上是截然不同的。软件允许部署后打补丁，从而加快开发周期。相比之下，制造后发现的硬件错误修复起来成本极高（有时甚至无法修复），因此传统的硬件开发周期需要大量投资进行广泛的模拟和形式验证。可重构硬件，例如现场可编程门阵列（FPGA），有望推动硬件开发朝着类似软件的敏捷开发方法发展，因为它使硬件开发人员能够修补在片上测试或生产过程中检测到的错误。不幸的是，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.In this paper, we first study bugs in existing FPGA designs and produce a testbed of reliably-reproducible bugs. We classify the bugs according to their intrinsic properties, symptoms, and root causes. We demonstrate that many hardware bugs are comparable to software bug counterparts, and would benefit from similar techniques for bug diagnosis and repair. Based upon our findings, we build a novel collection of hybrid static/dynamic program analysis and monitoring tools for debugging FPGA designs, showing that our tools enable a software-like development cycle by effectively reducing developers' manual efforts for bug localization.
登录
查看更多内容
适用于共享内存 FPGA 平台的虚拟机管理程序
DOI：
10.1145/3373376.3378482
发表时间：
2020
期刊：
Proceedings of the Twenty-Fifth International Conference on Architectural Support for Programming Languages and Operating Systems
影响因子：
--
作者：
Jiacheng Ma;Gefei Zuo;Kevin Loughlin;Xiao;Yanqiang Liu;Abel Mulugeta Eneyew;Zhengwei Qi;Baris Kasikci
通讯作者：
Baris Kasikci
DOI：
10.1145/2678373.2665678
发表时间：
2014-10
期刊：
2014 ACM/IEEE 41st International Symposium on Computer Architecture (ISCA)
影响因子：
--
作者：
Andrew Putnam;Adrian M. Caulfield;Eric S. Chung;Derek Chiou;Kypros Constantinides;J. Demme;H. Esmaeilzadeh;J. Fowers;Gopi Prashanth Gopal;J. Gray;M. Haselman;S. Hauck;Stephen Heil;Amir Hormati;Joo-Young Kim;S. Lanka;J. Larus;Eric Peterson;Simon Pope;Aaron Smith;J. Thong;Phillip Yi Xiao;D. Burger
通讯作者：
Andrew Putnam;Adrian M. Caulfield;Eric S. Chung;Derek Chiou;Kypros Constantinides;J. Demme;H. Esmaeilzadeh;J. Fowers;Gopi Prashanth Gopal;J. Gray;M. Haselman;S. Hauck;Stephen Heil;Amir Hormati;Joo-Young Kim;S. Lanka;J. Larus;Eric Peterson;Simon Pope;Aaron Smith;J. Thong;Phillip Yi Xiao;D. Burger
DOI：
10.1109/micro.2018.00071
发表时间：
2018-10
期刊：
2018 51st Annual IEEE/ACM International Symposium on Microarchitecture (MICRO)
影响因子：
--
作者：
Rui Zhang;Calvin Deutschbein;Peng Huang;C. Sturton
通讯作者：
Rui Zhang;Calvin Deutschbein;Peng Huang;C. Sturton
使用 GPU 加速 RTL 仿真
DOI：
10.1109/iccad.2011.6105404
发表时间：
2011
期刊：
2011 IEEE/ACM International Conference on Computer-Aided Design (ICCAD)
影响因子：
--
作者：
Hao Qian;Yangdong Deng
通讯作者：
Yangdong Deng
DOI：
10.1109/isca52012.2021.00063
发表时间：
2021-06
期刊：
2021 ACM/IEEE 48th Annual International Symposium on Computer Architecture (ISCA)
影响因子：
--
作者：
Tanvir Ahmed Khan;Dexin Zhang;Akshitha Sriraman;Joseph Devietti;Gilles A. Pokam;Heiner Litz;Baris Kasikci
通讯作者：
Tanvir Ahmed Khan;Dexin Zhang;Akshitha Sriraman;Joseph Devietti;Gilles A. Pokam;Heiner Litz;Baris Kasikci