Experiences in functional validation of a high level synthesis system
Ranga R. Vemuri, Paddy Mamtora, Praveen Sinha, Nand Kumar, Jay Roy, Raghu Vutukuru · 1993
The goal OJ functional validation of a high-level synthesis system is to a$sert, with a reasonable degree of confidence, that the layouta generated by the high-level synthesis system correctly implement the ~pecified behavior.This paper presents a systematic approach to functional validation baaed on the analysis of specification language constructs, de8ign example formation to cover combinations of constructs, ted-bench generation and automated te8t re8u!t comparison.we have 8ucce88.fu![y applied thi8 approach in validating a high-level 8ynthe8i8 8 stem, called 33 DSS, which accepta specifications stated in VI-I L. This effort Te8u[ted in the development of a functional validation suite corssiding of 29 design ezample.s. 1