Praveen Sinha

Learn More
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,(More)
  • 1