arrow
Return

Fast Turnaround HLS Debugging Using Dependency Analysis and Debug Overlays

delete2020-01-28
delete3
PRE
AI
A
Al-Shahna Jamal *
E
Eli Cahill
J
Jeffrey Goeders
S
Steven J. E. Wilton
DOI:10.1145/3372490delete
deleteOriginal
deleteShare
deleteSave
Abstract

Abstract

En 中文
High-level synthesis (HLS) has gained considerable traction over recent years, as it allows for faster development and verification of hardware accelerators than traditional RTL design. While HLS allows for most bugs to be caught during software verification, certain non-deterministic or data-dependent bugs still require debugging the actual hardware system during execution. Recent work has focused on techniques to allow designers to perform in-system debug of HLS circuits in the context of the original software code; however, like RTL debug, the user must still determine the root cause of a bug using small execution traces, with lengthy debug turns. In this work, we demonstrate techniques aimed at reducing the time HLS designers spend performing in system debug. Our approaches consist of performing data dependency analysis to guide the user in selecting which variables are observed by the debug instrumentation, as well as an associated debug overlay that allows for rapid reconfiguration of the debug logic, enabling rapid switching of variable observation between debug iterations. In addition, our overlay provides additional debug capability, such as selective function tracing and conditional buffer freeze points. We explore the area overhead of these different overlay features, showing a basic overlay with only a 1.7% increase in area overhead from the baseline debug instrumentation, while a deluxe variant offers 2x-7x improvement in trace buffer memory utilization with conditional buffer freeze support.
Keywords:
FPGA
debug
High-level synthesis
dependency analysis

Journal

ACM Transactions on Reconfigurable Technology and Systems cover
ACM Transactions on Reconfigurable Technology and Systems
IF:
2.8
Papers:
599
Citations:
810

Organization

B
Brigham Young University
Scholars:
9.0K
Papers: 6.0K
Citations: 9.3K
U
University of British Columbia
Scholars:
7.0W
Papers: 6.1W
Citations: 8.6W
Cited Papers

Cited Papers

Neutron Diffraction and Mössbauer Study of Ordered and Disordered LiFeO2
err1963-11-15
err0
PREAI
errD. E. Cox; G. Shirane; P. A. Flinn; S. L. Ruby; W. J. Takei
errShare
errSave
Will your household adopt your new robot?
err2012-03-01
err0
errOAAI
errValérie Bauwens; Julia Fink
errShare
errSave
What dementia reveals about proverb interpretation and its neuroanatomical correlates
err2013-08-01
err0
PREAI
errNatalie C. Kaiser; Grace J. Lee; Po H. Lu; Michelle J. Mather; Jill Shapira; Elvira Jimenez; Paul M. Thompson; Mario F. Mendez
errShare
errSave
Teleneurosurgery: Outcome of Mild Head Injury Patients Managed in NonNeurosurgical Centre in the State of Johor
err2018-04-27
err0
errOAAI
errMohd Syahiran Mohd Sidek; Johari Adnan Siregar; Abdul Rahman Izani Ghani; Zamzuri Idris
errShare
errSave
Lagrangian formulation of the general modified chiral model
err1998-12-01
err0
errOAAI
errTheodora Ioannidou; Wojtek Zakrzewski
errShare
errSave
Russia and Europe
err
IF0
err2014-03-18
err0
PREAI
err
errShare
errSave
no more