覆盖率问题

一、基于覆盖率驱动的验证技术

采用覆盖率驱动的验证方式可以量化验证进度&＃xff0c;保证验证的完备性。一般在验证计划中会指定具体的覆盖率目标。通过覆盖率验证可以确定验证是否达到要求。当然&＃xff0c;达到目标覆盖率并不意味着验证就通过了&＃xff0c;因为功能覆盖率是由人为定义的&＃xff0c;有时候即便达到100%&＃xff0c;也未必将所有的功能场景全部覆盖了&＃xff0c;因为人为主观定义的功能场景有时候可能存在遗漏&＃xff0c;所以还需要对测试用例进行迭代。

二、代码覆盖率与功能覆盖率

代码覆盖率&＃xff1a;工具会自动搜集已经编写好的代码&＃xff0c;常见的代码覆盖率如下&＃xff1a;

• 行覆盖率&＃xff08;line coverage&＃xff09;&＃xff1a;记录程序的各行代码被执行的情况。
• 条件覆盖率&＃xff08;condition coverage&＃xff09;&＃xff1a;记录各个条件中的逻辑操作数被覆盖的情况。
• 跳转覆盖率&＃xff08;toggle coverage&＃xff09;&＃xff1a;记录单bit信号变量的值为0/1跳转情况&＃xff0c;如从0到1&＃xff0c;或者从1到0的跳转。
• 分支覆盖率&＃xff08;branch coverage&＃xff09;&＃xff1a;又称路径覆盖率&＃xff08;path coverage&＃xff09;&＃xff0c;指在if&＃xff0c;case&＃xff0c;for&＃xff0c;forever&＃xff0c;while等语句中各个分支的执行情况。
  状态机覆盖率&＃xff08;FSM coverage&＃xff09;&＃xff1a;用来记录状态机的各种状态被进入的次数以及状态之间的跳转情况。

功能覆盖率&＃xff1a;&＃96;是一种用户定义的度量&＃xff0c;主要是衡量设计所实现的各项功能&＃xff0c;是否按预想的行为执行&＃xff0c;即是否符合设计说明书的功能点要求&＃xff0c;功能覆盖率主要有两种如下所示&＃xff1a;

• 面向数据的覆盖率&＃xff08;Data-oriented Coverage&＃xff09;-对已进行的数据组合检查.我们可以通过编写覆盖组&＃xff08;coverage groups&＃xff09;、覆盖点&＃xff08;coverage points&＃xff09;和交叉覆盖&＃xff08;cross coverage&＃xff09;获得面向数据的覆盖率.
• 面向控制的覆盖率&＃xff08;Control-oriented Coverage&＃xff09;-检查行为序列&＃xff08;sequences of behaviors&＃xff09;是否已经发生.通过编写SVA来获得断言覆盖率(assertion coverage).

需要指出的是: 代码覆盖率达到要求并不意味着功能覆盖率也达到要求&＃xff0c;二者无必然的联系。而为了保证验证的完备性&＃xff0c;在收集覆盖率时&＃xff0c;要求代码覆盖率和功能覆盖率同时达到要求。