在 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