Source Code Error Detection in High-Level Synthesis Functional Verification

K. UMA MAHESWARI; HARI PRASAD

Source Code Error Detection in High-Level Synthesis Functional Verification

Authors: K. UMA MAHESWARI, HARI PRASAD

Unique Paper ID: 144659
Volume: 4
Issue: 1
PageNo: 338-341

Keywords: HLS

Abstract:
A dynamic functional verification method that compares untimed simulations versus timed simulations for synthesizable [high-level synthesis (HLS)] behavioral descriptions (ANSI-C) is presented in this paper. This paper proposes a method that automatically inserts a set of probes into the untimed behavioral description. These probes record the status of internal signals of the behavioral description during an initial untimed simulation. These simulation results are subsequently used as golden outputs for the verification of the internal signals during a timed simulation once the behavioral description has been synthesized using HLS. Our proposed method reports any simulation mismatches and accurately pinpoints any discrepancies between the functional Software (SW) simulation and the timed simulation at the original behavioral description (source code). Our method does not only determine where to place the probes, but is also able to insert different type of probes based on the specified HLS synthesis options in order not to interfere with the HLS process, minimizing the total number of probes and the size of the data to be stored in the trace file in order to minimize the running time. Results show that our proposed method is very effective and extremely simple to use as it is fully automated.

email to a friend

Cite This Article

ISSN: 2349-6002
Volume: 4
Issue: 1
PageNo: 338-341

Source Code Error Detection in High-Level Synthesis Functional Verification

Available:https://ijirt.org/Article?manuscript=144659

24 Jul, 2018

AN APPROACH IN ENHANCING THE WORK LIFE BALANCE IN HRD FOR TCS IN BANGALORE

07 Dec, 2017

Solar Powered Smart Irrigation System

30 Nov, 2017

Dynamic Algorithms for Mining Top-K High Service Component sets

22 Nov, 2017

Implementing an Efficient Approximate Multiplier with High Accuracy in for Error Resilient DSP Applications

30 Oct, 2017

Achieving Best Job Performance by Increasing the Virtual MapReduce Clusters

25 Oct, 2017

Reducing Energy Consumption and Limit Replication Overhead by Utilizing System resources on Content Delivery Networks

25 Jul, 2017

A Survey On Face Recognition Systems- Methods And Analysis

23 Jul, 2017

Analysis of Data Security in Data Mining

11 Jul, 2017

RASPBERRY PI BASED SEMI-AUTOMATIC PICK AND PLACE ROBOT FOR WASTE SEGREGATION

24 Jun, 2017

MICRO GRID SYSTEM BASED CONTROL OF UNIFIELD POWER QUALITY

Impact Factor
8.01 (Year 2024)

UGC Approved
Journal no 47859

Join Our IPN

IJIRT Partner Network

Submit your research paper and those of your network (friends, colleagues, or peers) through your IPN account, and receive 800 INR for each paper that gets published.

Join Now

Latest Publication

Recent Conferences

NCSEM 2024

National Conference on Sustainable Engineering and Management - 2024 Last Date: 15th March 2024

Submit inquiry