The Community for Technology Leaders
Green Image
Issue No. 01 - January/March (1991 vol. 8)
ISSN: 0740-7475
pp: 14-20
<p>The verification problem is described, and a way to verify a high-level synthesis system automatically is presented. The system, called Satya, maps an algorithmic description to a logic circuit description and compares descriptions to detect semantic errors and identify the cause of those errors. Satya has been used to verify the Bridge synthesis system, which accepts a subset of C as input, but the simulation-based approach underlying Satya is suitable for verifying synthesis systems that use other high-level languages, such as VHDL. The verification results are discussed, and some of the problems that arise in debugging and regression testing are considered.</p>

R. Ernst and J. Bhasker, "Simulation-Based Verification for High-Level Synthesis," in IEEE Design & Test of Computers, vol. 8, no. , pp. 14-20, 1991.
88 ms
(Ver 3.3 (11022016))