High-level Synthesis Integrated Verification

• Main Author: M. Dossis
• Format: Article
• Language: English
• Published: D. G. Pylarinos 2015-10-01
• Series: Engineering, Technology & Applied Science Research
• Subjects: High-level Synthesis; Formal verification; E-DA
• Online Access: https://etasr.com/index.php/ETASR/article/view/596

It is widely known in the engineering community that more than 60% of the IC design project time is spent on verification. For the very complex contemporary chips, this may prove prohibitive for the IC to arrive at the correct time in the market and therefore, valuable sales share may be lost by the developing industry. This problem is deteriorated by the fact that most of conventional verification flows are highly repetitive and a great proportion of the project time is spent on last-moment simulations. In this paper we present an integrated approach to rapid, high-level verification, exploiting the advantages of a formal High-level Synthesis tool, developed by the author.  Verification in this work is supported at 3 levels: high-level program code, RTL simulation and rapid, generated C testbench execution. This paper is supported by strong experimental work with 3-4 popular design synthesis and verification that proves the principles of our methodology.