使用 C++ 和 C++ 驗證平臺設計硬件能夠將仿真速度提升多個數量級。但在高層次綜合 (HLS) 之后,團隊需要一種方法來快速確保新生成的 RTL 與原始非時序 C++ 在功能上是相同的。他們不希望為了進行此項比較而創建 RTL 驗證平臺。團隊需要一種自動冒煙測試,只需極少的工作便能快速進行比較。本白皮書介紹 Catapult HLS 平臺所包含的 SCVerify 如何為團隊提供執行一鍵式冒煙測試的功能。
相關附件
mentorpaper107729.pdf695.98 KB
使用 C++ 和 C++ 驗證平臺設計硬件能夠將仿真速度提升多個數量級。但在高層次綜合 (HLS) 之后,團隊需要一種方法來快速確保新生成的 RTL 與原始非時序 C++ 在功能上是相同的。他們不希望為了進行此項比較而創建 RTL 驗證平臺。團隊需要一種自動冒煙測試,只需極少的工作便能快速進行比較。本白皮書介紹 Catapult HLS 平臺所包含的 SCVerify 如何為團隊提供執行一鍵式冒煙測試的功能。
相關附件
mentorpaper107729.pdf695.98 KB