Catapult Coverage 提供 HLS 感知代码覆盖,与以软件为中心的覆盖工具不同,它可以识别设计结构和 HLS 指令如何影响生成的后 HLS 硬件,因此在收集和报告 HLS 设计源代码覆盖率时会考虑这些因素。示例包括函数内联和循环展开指令。Catapult Coverage还支持HLS设计源上所需的覆盖类型,例如条件和聚焦表达(FEC)覆盖范围以及阵列访问覆盖范围。
主要功能
以指标为导向的 HLV 的有效方法
使用传统 RTL 指标,例如语句、分支、条件和表达式覆盖率,再结合受 SystemVerilog 启发的功能覆盖率,在高级综合之前实现高质量的 HLS 感知覆盖率。

