Abstract:High-level synthesis (HLS) offers an opportunity to design hardware at the software level, which automatically trans-forms high-level specifications into RTL designs. However, HLS compilers are often considered complex black-box procedures, lacking transparency for designers and hindering the debugging process. Programmers often rely on simulating the HLS design to comprehend the behavior of the generated hardware. RTL simulation, the prevalent hardware debugging method, is time-consuming and inundates designers with excessive details when applied to HLS designs. Conversely, software-level simulation is fast but does not model hardware-specific details. The debug-ging challenge primarily stems from the semantic gap between software descriptions and RTL implementations. In this paper, we present Hestia, an efficient cross-level debugger enabling debugging HLS designs at different abstraction levels. Hestia provides a multi-level interpreter, aiding in debugging various issues in the HLS procedure with less hardware details and lower time costs. With an equivalent mapping across different levels, Hestia facilitates bug identifi-cation and localization, providing breakpoints and stepping at multiple granularities. We demonstrate the effectiveness of Hestia from three aspects: simulation efficiency, debugging capability, and scalability. Experimental results show that Hestia achieves significant simulation speedup compared to RTL simulators and prior work. The experiment of a case study also illustrates how Hestia helps find and localize bugs easily.

Multi-Mode Debugging System for VLSI Designs Using Different Types of FPGAs

Design and Implementation of Source-Level Debugger Based on Emulator

A Debug Sub-System for Embedded-System Co-Verification

An innovative embedded logic analyzer based SoC verification platform

Design of Multi-serial Communication for Flight Controlling Computer Based on FPGA

Hestia: an Efficient Cross-Level Debugger for High-Level Synthesis

DEBUGGER DESIGN FOR MICROPROCESSOR WITH HYBRID ARCHITECTURE OF SUPERSCALAR-VLIW

Building A Multi-Fpga-Based Emulation Framework To Support Networks-On-Chip Design And Verification

Design of An Extended On-chip Real Time Debug System

A Low-cost Zero-overhead In-circuit Debug System Design for SoC

A multi-FPGA based platform for emulating a 100m-transistor-scale processor with high-speed peripherals (abstract only)

Design for HW/SW Co-Testing Based on FPGA

A Deep Research on the Chip Verification Platform Based on Network

A novel on-chip debug system with quick all-registers scan chain based on JTAG

Vhdbx: An X Window System Based High-Level Debugger For The Vhdl Simulation Environment

HDLdebugger: Streamlining HDL debugging with Large Language Models

Romote Test System of FPGA based on USB and LVDS

Co-Emulation of Scan-Chain Based Designs Utilizing SCE-MI Infrastructure

Enabling Effective FPGA Debug using Overlays: Opportunities and Challenges

Design for Debug System in Embedded System

An SW-HW Co-Design Debug Interface for SOCs Based on JTAG