Catapult Coverage 提供 HLS 感知程式碼覆蓋範圍,與以軟體為中心的覆蓋工具不同,可識別設計結構和 HLS 指令如何影響產生的 HLS 後硬體,因此在收集和報告 HLS 設計來源的程式碼覆蓋時會考慮這些內容。範例包括函數內嵌和循環解壓指令。Catapult Coverage 還支援 HLS 設計來源上所需的覆蓋類型,例如條件和聚焦表達 (FEC) 覆蓋範圍以及陣列存取覆蓋範圍。
Catapult Coverage
Catapult Coverage 為 C++/SystemC HLS 設計提供 HLS 感知程式碼覆蓋範圍,包括聲明、分支、條件、FEC 和陣列存取覆蓋範圍。它還提供 SV 靈感的功能覆蓋範圍,並支持 C++/SystemC 測試台中的覆蓋群組、覆蓋點、垃圾桶和十字架。
主要功能
針對指標驅動的 HLV 的有效方法
使用傳統的 RTL 指標,例如陳述式、分支、條件和表達涵蓋範圍,結合 SystemVerilog 啟發的功能覆蓋範圍,在高級合成之前實現高品質的 HLS 感知涵蓋範圍。

