admin 管理员组

文章数量: 1184232

Incisive Comprehensive coverage(ICC)

Incisive Comprehensive coverage(ICC)，定义良好的覆盖率指标，可以对验证的完整性进行彻底的分析，覆盖率分为代码覆盖率和功能覆盖率。

代码覆盖率

块覆盖率：在仿真期间执行的代码行， 它帮助您确定不同的testbench是否在一个块中执行语句
分支覆盖率：比block覆盖率更精确的覆盖率，条件语句的每个分支执行过一次，就代表这段代码覆盖率100%
语句（statement）覆盖率：提供块内语句数量信息
表达式覆盖率：提供HDL代码中所有表达式统计的信息
翻转覆盖率：提供仿真期间信号和端口变化的信息，检测的设计中的活动事件，如未使用的信号，保持不变的信号或很少变化的信号

FSM覆盖率

状态机覆盖率，能看到了状态机执行了哪些状态

功能覆盖率

功能覆盖率在用户自定义的coverpoint执行，使用PSL，SV断言或者covergroup语句指定，这些覆盖点指定要覆盖的场景、错误案例、极端案例和协议，还要指定对变量的不同值进行分析。

功能覆盖率包含以下类型：

控制导向功能覆盖率（control-oriented）-- 基于断言验证和直接识别感兴趣的功能的拓展，在ICC中，控制导向功能覆盖点通过使用PSL,SVA断言，假设和覆盖指令来指定，测量的覆盖率直接指定，使用PSL/SVA语句或由这些语句自己解释。

数据导向功能覆盖率 --专注于追踪数据值，它包括多样变量值、抽样（blinning）、采样规范和叉乘（ceoss product向量积）的覆盖率，帮助设计工程师识别未测试的数据值或subranges（子范围）。ICC，数据导向功能覆盖率使用SV构造

ICC DESIGN FLOW：允许单次

本文标签： 文档 Incisive Cadence Comprehensive ICC

版权声明：本文标题：cadence Incisive Comprehensive coverage(ICC)说明文档（一） 内容由网友自发贡献，该文观点仅代表作者本人， 转载请联系作者并注明出处：http://www.roclinux.cn/b/1758731736a3089799.html， 本站仅提供信息存储空间服务，不拥有所有权，不承担相关法律责任。如发现本站有涉嫌抄袭侵权/违法违规的内容，一经查实，本站将立刻删除。