The Community for Technology Leaders
RSS Icon
Issue No.01 - January/March (1991 vol.8)
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>
Rolf Ernst, Jayaram Bhasker, "Simulation-Based Verification for High-Level Synthesis", IEEE Design & Test of Computers, vol.8, no. 1, pp. 14-20, January/March 1991, doi:10.1109/54.75659
60 ms
(Ver 2.0)

Marketing Automation Platform Marketing Automation Tool