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

相關(guān)附件

mentorpaper107729.pdf695.98 KB