Automated Debugging-Aware Visualization Technique for SystemC HLS Designs

被引:0
|
作者
Goli, Mehran [1 ,2 ]
Mahzoon, Alireza [2 ]
Drechsler, Rolf [1 ,2 ]
机构
[1] DFKI GmbH, Cyber Phys Syst, D-28359 Bremen, Germany
[2] Univ Bremen, Inst Comp Sci, D-28359 Bremen, Germany
关键词
LOCALIZATION;
D O I
10.1109/DSD53832.2021.00084
中图分类号
TP3 [计算技术、计算机技术];
学科分类号
0812 ;
摘要
High-level Synthesis (HLS) using system-level modeling language SystemC at the Electronic System Level (ESL) is being increasingly adopted by the semiconductor industry to raise design productivity. However, errors in the high-level design can propagate down to the low-level implementation and become very costly to fix. Thus, SystemC HLS verification and debugging are necessary and important. While monitoring simulation behavior is a straightforward solution to debug a given design in the case of an error (results of verification), it can become a very time-consuming process as a large amount of data that is not necessarily relevant to the source of error is analyzed. In this paper, we propose a fast and automated debugging-aware visualization approach, enabling designers to monitor the portion of a given SystemC HLS design's simulation behavior that is related to the erroneous output(s). Experimental results including an extensive set of standard SystemC HLS designs show the effectiveness of our approach in localizing the designs' simulation behavior in terms of the number of visualized variables. In comparison to traditional visualization methods, our proposed approach obtains up to 96% and 91% reduction in the search space for single and multiple faulty outputs, respectively.
引用
收藏
页码:519 / 526
页数:8
相关论文
共 29 条
  • [1] Visualization of SystemC designs
    Genz, Christian
    Drechsler, Rolf
    Angst, Gerhard
    Linhard, Lothar
    2007 IEEE INTERNATIONAL SYMPOSIUM ON CIRCUITS AND SYSTEMS, VOLS 1-11, 2007, : 413 - +
  • [2] ASCHyRO: Automatic Fault Localization of SystemC HLS Designs Using a Hybrid Accurate Rank Ordering Technique
    Goli, Mehran
    Mahzoon, Alireza
    Drechsler, Rolf
    2020 IEEE 38TH INTERNATIONAL CONFERENCE ON COMPUTER DESIGN (ICCD 2020), 2020, : 179 - 186
  • [3] AUTOMATED DEBUGGING OF VERILOG DESIGNS
    Peischl, Bernhard
    Riaz, Naveed
    Wotawa, Franz
    INTERNATIONAL JOURNAL OF SOFTWARE ENGINEERING AND KNOWLEDGE ENGINEERING, 2012, 22 (05) : 695 - 723
  • [4] Detection of Hardware Trojans in SystemC HLS Designs via Coverage-guided Fuzzing
    Le, Hoang M.
    Grosse, Daniel
    Bruns, Niklas
    Drechsler, Rolf
    2019 DESIGN, AUTOMATION & TEST IN EUROPE CONFERENCE & EXHIBITION (DATE), 2019, : 602 - 605
  • [5] Automated Feature Localization for Dynamically Generated SystemC Designs
    Stoppe, Jannis
    Wille, Robert
    Drechsler, Rolf
    2015 DESIGN, AUTOMATION & TEST IN EUROPE CONFERENCE & EXHIBITION (DATE), 2015, : 277 - 280
  • [6] ATLaS: Automatic Detection of Timing-based Information Leakage Flows for SystemC HLS Designs
    Goli, Mehran
    Drechsler, Rolf
    2021 26TH ASIA AND SOUTH PACIFIC DESIGN AUTOMATION CONFERENCE (ASP-DAC), 2021, : 67 - 72
  • [7] IPA: Floorplan-Aware SystemC Interconnect Performance Modeling and Generation for HLS-based SoCs
    Pinckney, Nathaniel
    Venkatesan, Rangharajan
    Keller, Ben
    Khailany, Brucek
    2021 IEEE/ACM INTERNATIONAL CONFERENCE ON COMPUTER AIDED DESIGN (ICCAD), 2021,
  • [8] Dependence Analysis and Automated Partitioning for Scalable Formal Analysis of SystemC Designs
    Herber, Paula
    Liebrenz, Timm
    2020 18TH ACM-IEEE INTERNATIONAL CONFERENCE ON FORMAL METHODS AND MODELS FOR SYSTEM DESIGN (MEMOCODE), 2020, : 143 - 148
  • [9] Execution Synthesis: A Technique for Automated Software Debugging
    Zamfir, Cristian
    Candea, George
    EUROSYS'10: PROCEEDINGS OF THE EUROSYS 2010 CONFERENCE, 2010, : 321 - 334
  • [10] Advances in Automated Source-Level Debugging of Verilog Designs
    Peischl, Bernhard
    Riaz, Naveed
    Wotawa, Franz
    NEW CHALLENGES IN APPLIED INTELLIGENCE TECHNOLOGIES, 2008, 134 : 363 - 372