Journal Article10.1109/TVLSI.2013.2255071
Incremental Trace-Buffer Insertion for FPGA Debug
Eddie Hung,Steven J. E. Wilton +1 more
44
TL;DR: This paper proposes that the original circuit mapping is fully preserved and incremental techniques are used to eliminate the need for a full recompilation, thereby accelerating the debugging process and exploiting two opportunities available during trace-insertion.
read more
Abstract: As integrated circuits encapsulate more functionality and complexity, verifying that these devices operate correctly under all scenarios is an increasingly difficult task. Rather than using traditional verification techniques such as software simulation, more and more designers are taking advantage of the significantly higher clock speeds that can be achieved by using field-programmable gate-array (FPGA)-based prototypes. A key challenge to these prototypes is the lack of on-chip observability during debugging; one popular solution is to insert trace-buffers into the design to record a limited set of internal signals, but modifying this trace configuration often requires the entire circuit to be recompiled. In this paper, we propose that the original circuit mapping is fully preserved and incremental techniques are used to eliminate the need for a full recompilation, thereby accelerating the debugging process. By exploiting two opportunities available during trace-insertion: the ability to connect from any point of a signal to any trace-pin, and the internal symmetry of the FPGA architecture, we find that incremental trace-insertion can be 98 times faster than a full recompilation, return a routing solution with a shorter wirelength, and have a negligible effect on the critical-path delay of the original circuit when reclaiming 75% of the leftover memory capacity for tracing.
read more
Chat with Paper
AI Agents for this Paper
Find similar papers on Google Scholar, PubMed and Arxiv
Write a critical review of this paper
Analyze citations of this paper to find unaddressed research gaps
Citations
VTR 8: High-performance CAD and Customizable FPGA Architecture Modelling
Kevin E. Murray,Oleg Petelin,Sheng Zhong,Jia Min Wang,Mohamed Eldafrawy,Jean-Philippe Legault,Eugene Sha,Aaron G. Graham,Jean Wu,Matthew Walker,Hanqing Zeng,Panagiotis Patros,Jason Luu,Kenneth B. Kent,Vaughn Betz +14 more
TL;DR: The Verilog to Routing (VTR) project as mentioned in this paper provides a design flow for Field-Programmable Gate Array (FPGA) architectures that can be modelled, allowing VTR to target and model many details of both commercial and proposed FPGA architectures.
199
RapidWright: Enabling Custom Crafted Implementations for FPGAs
Christopher Lavin,Alireza S. Kaviani +1 more
- 01 Apr 2018
TL;DR: This work proposes a pre-implemented methodology for FPGAs to achieve higher performance or productivity and introduces RapidWright, an open-source platform to enable this new approach.
114
FPGAs for Software Programmers
Dirk Koch,Frank Hannig,Daniel Ziener +2 more
- 17 Jun 2016
TL;DR: This book makes powerful Field Programmable Gate Array (FPGA) and reconfigurable technology accessible to software engineers by covering different state-of-the-art high-level synthesis approaches (e.g., OpenCL and several C-to-gates compilers).
70
The LEAP FPGA operating system
Kermin Fleming,Hsin-Jung Yang,Michael Adler,Joel Emer +3 more
- 20 Oct 2014
TL;DR: This work presents the Latency-insensitive Environment for Application Programming (LEAP), an FPGA operating system built around latency-insensitivity communications channels, and presents an extensible interface for compile-time management of resources.
46
New approaches for in-system debug of behaviorally-synthesized FPGA circuits
Joshua S. Monson,Brad Hutchings +1 more
- 01 Sep 2014
TL;DR: New approaches for in-system, trace-based debug of High-Level Synthesis-generated hardware are presented, including the use of Event Observability Ports (EOP) that provide observability of source-level events in the final hardware and small, independent trace buffers called EOBs for tracing events through EOPs.
34
References
PathFinder: A Negotiation-Based Performance-Driven Router for FPGAs
Larry E. McMurchie,Carl Ebeling +1 more
- 15 Feb 1995
TL;DR: PathFinder as mentioned in this paper uses an iterative algorithm that converges to a solution in which all signals are routed while achieving close to the optimal performance allowed by the placement, which is achieved by forcing signals to negotiate for a resource and thereby determine which signal needs the resource most.
Field-Programmable Gate Array Technology
Stephen M. Trimberger
- 01 Jan 1994
TL;DR: The purpose of this chapter was to discuss the design and implementation of SRAM Programmable FPGAs, as well as some of the techniques used in the development of Erasable Programmable Logic Devices.
362
The VTR project: architecture and CAD for FPGAs from verilog to routing
Jonathan Rose,Jason Luu,Chi Wai Yu,Opal Densmore,Jeffrey Goeders,Andrew Somerville,Kenneth B. Kent,Peter Jamieson,Jason H. Anderson +8 more
- 22 Feb 2012
TL;DR: The current status and new release of an ongoing effort to create a downstream full-implementation flow of Verilog to Routing is described, and the use of the new flow is illustrated by using it to help architect a floating-point unit in an FPGA, and compared with a prior, much longer effort.
296
Algorithms for State Restoration and Trace-Signal Selection for Data Acquisition in Silicon Debug
Ho Fai Ko,Nicola Nicolici +1 more
TL;DR: This paper presents accelerated algorithms for restoring circuit state elements from the traces collected during a debug session, by exploiting bitwise parallelism and introduces new metrics that guide the automated selection of trace signals, which can enhance the real-time observability during in-system debug.
199
•Proceedings Article
Replacing Testing with Formal Verification in Intel CoreTM i7 Processor Execution Engine Validation.
Roope Kaivola,Rajnish Ghughal,Naren Narasimhan,Amber Telfer,Jesse Whittemore,Sudhindra Pandav,Anna Slobodová,Christopher Taylor,Vladimir A. Frolov,Erik Reeber,Armaghan W. Naik +10 more
- 01 Jan 2009
TL;DR: In this article, symbolic simulation based formal verification techniques for full data path, control and state validation for the core execution cluster of the Intel Core TM i7 were used for verification.
128
Related Papers (5)
Paul Graham,Brent Nelson,Brad Hutchings +2 more
- 29 Apr 2001
Larry E. McMurchie,Carl Ebeling +1 more
- 15 Feb 1995
Alexander Brant,Guy G.F. Lemieux +1 more
- 29 Apr 2012