在 High-Level Synthesis 流程中實現覆蓋率收斂

winniewei 提交于 周六, 05/09/2020
在 High-Level Synthesis 流程中實現覆蓋率收斂

驗證的加快是 HLS 流程中備受青睞的一項優勢,此外相關團隊還在努力建立一種方法,以便在 C++ 級別輕松實現覆蓋率收斂,并將這些指標與下游流程中的 RTL 關聯起來。過去,相關團隊曾嘗試使用 C++ 軟件覆蓋率工具來獲取覆蓋率指標。但是,這些工具不理解導致誤導性分析的硬件概念,而且它們與下游 RTL 驗證流程沒有關聯。因此,Mentor 打造了 Catapult Code Coverage (CCOV)。CCOV 通過使用語句、分支、重點表達式和翻轉覆蓋率技術在硬件環境中分析 C++ 源代碼,將 RTL 設計人員采用的代碼覆蓋率解決方案引入 HLS 領域。通過將覆蓋率結果寫入 Questa 統一覆蓋率數據庫 (UCDB),設計人員可以在經過驗證的 Questa 驗證管理工具環境中使用此數據。查看此白皮書,了解如何在 HLS 流程中中實現覆蓋率收斂。

來源:Mentor

相關附件

相關文章

Digi-Key