Automated Debugging Framework for High-level Synthesis

Automated Debugging Framework for High-level Synthesis

Show other versions (1)

This thesis proposes a automated test case generation technique for the aim of verifying/debugging High-level synthesis (HLS) tools. The work in this thesis builds a framework that automatically generates random programs with user specified features. These programs are used to verify the correctness...

Full description

Bibliographic Details
Main Author: Liu, Li
Other Authors: Stephen, Brown
Language:en_ca
Published: 2013
Subjects:
Debug
High-level Synthesis
0544
0984
Online Access:http://hdl.handle.net/1807/35123

Internet

http://hdl.handle.net/1807/35123

Similar Items