使用 C++ 和 C++ 驗(yàn)證平臺(tái)設(shè)計(jì)硬件能夠?qū)⒎抡嫠俣忍嵘鄠€(gè)數(shù)量級(jí)。但在高層次綜合 (HLS) 之后，團(tuán)隊(duì)需要一種方法來快速確保新生成的 RTL 與原始非時(shí)序 C++ 在功能上是相同的。他們不希望為了進(jìn)行此項(xiàng)比較而創(chuàng)建 RTL 驗(yàn)證平臺(tái)。團(tuán)隊(duì)需要一種自動(dòng)冒煙測(cè)試，只需極少的工作便能快速進(jìn)行比較。本白皮書介紹 Catapult HLS 平臺(tái)所包含的 SCVerify 如何為團(tuán)隊(duì)提供執(zhí)行一鍵式冒煙測(cè)試的功能。

相關(guān)附件

mentorpaper107729.pdf695.98 KB