Please use this identifier to cite or link to this item: http://hdl.handle.net/10397/62459
Title: Source code error detection in high-level synthesis functional verification
Authors: Carrion Schafer, B 
Keywords: Error detection latency (EDL)
Functional verification
High-level synthesis (HLS)
Issue Date: 2016
Publisher: Institute of Electrical and Electronics Engineers
Source: IEEE transactions on very large scale integration (VLSI) systems, 2016, v. 24, no. 1, p. 301-312 How to cite?
Journal: IEEE transactions on very large scale integration (VLSI) systems 
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.
URI: http://hdl.handle.net/10397/62459
ISSN: 1063-8210
EISSN: 1557-9999
DOI: 10.1109/TVLSI.2015.2397036
Appears in Collections:Journal/Magazine Article

Access
View full-text via PolyU eLinks SFX Query
Show full item record

Page view(s)

24
Last Week
0
Last month
Checked on Aug 20, 2017

Google ScholarTM

Check

Altmetric



Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.