IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems · 2016 · 46 citations · 27 references
EngineeringComputer EngineeringComputer ScienceComputer ArchitectureEmbedded SystemsField-programmable Gate ArraysEmbedded DebuggingField-programmable Gate Array ArchitectureFpga ArchitectureHardware DebuggingHigh-level SynthesisLogic SynthesisAutomated DebuggingDebuggingExecution Trace AnalysisIn-circuit DebuggingIn-system DebuggingRegister Transfer Level DebuggingSignal TracingTrace-based Debugging
High-level synthesis (HLS) promises to increase designer productivity in the face of increasing field-programmable gate array sizes, and broaden the market of use, allowing software designers to reap the benefits of hardware implementation. One roadblock to HLS adoption is the lack of an in-system debugging infrastructure. Although designers can run their software code on a workstation, or simulate the register-transfer level, neither can reliably capture the behaviors, and therefore bugs, that may be present in the final system. Debugging hardware circuits in-system requires using signal-tracing to record circuit behavior for later offline analysis. In this paper, we present a debugging architecture, which automatically records key hardware signals, and relates them back to the original software source code. This architecture allows designers to debug HLS circuits in-system, in the context of the original source code. We present several signal-tracing techniques, tailored to HLS circuits, which allow a much longer execution trace to be captured. These techniques include signal compression, dynamically changing which signals are recorded cycle-by-cycle, and offline signal restoration. Compared to using an embedded logic analyzer to perform signal-tracing, our architecture increases the length of execution trace that can be recorded by 127X. For each 100 Kb of trace buffer memory, our architecture can record 15 369 executed lines of C code.
27
Andrew Canis, Jongsok Choi, Mark Aldham et al. · ACM Transactions on Embedded Computing Systems · 2013 · 302 citations
Designing Modular Hardware Accelerators in C with ROCCC 2.0
Jason Villarreal, Adrian Park, Walid Najjar et al. · 2010 · 188 citations
An overview of today’s high-level synthesis tools
Wim Meeus, Kristof Van Beeck, Toon Goedemé et al. · Design Automation for Embedded Systems · 2012 · 173 citations · Full text