admin管理员组

文章数量:1530043

Incisive Comprehensive coverage(ICC)

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

代码覆盖率

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

FSM覆盖率

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

功能覆盖率

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

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

控制导向功能覆盖率(control-oriented)-- 基于断言验证和直接识别感兴趣的功能的拓展,在ICC中,控制导向功能覆盖点通过使用PSL,SVA断言,假设和覆盖指令来指定,测量的覆盖率直接指定,使用PSL

本文标签: 文档IncisiveCadenceComprehensiveICC