前言：随着验证方法学的发展，覆盖率作为一种判断验证充分性的手段已成为验证工作的主导。绝大多数验证工程师会将覆盖率分为两大类：代码覆盖率和功能覆盖率。本文主要介绍有关代码覆盖率的概念。

代码覆盖率

代码覆盖率是衡量验证进展的最简易的方式。它的作用是检查代码是否冗余，设计要点是否遍历，被检测的对象是RTL代码，而代码覆盖率的检测一般由工具自动生成的，不需要自定义收集条件。代码覆盖率主要包括以下几种：

1.行覆盖率(Line coverage)

行覆盖率度量的是多少行代码已经被执行过。比如,你有100行代码,执行了90行,那么覆盖率就是90%。

2.分支覆盖率(Branch coverage)

分支覆盖率衡量的是代码中的分支覆盖的情况，包括：
if-else语句覆盖情况
case语句覆盖情况
三元操作符("?:")覆盖情况

3.路径覆盖率(Path Coverage)

路径覆盖率衡量的是在穿过代码和表达式的路径中有哪些已经被执行过，表明代码中数据通路的覆盖情况。

4.条件覆盖率(Conditional coverage)

判定式中有多个条件时，要求每个条件的取值均得到验证。这里的条件覆盖率很容易与分支覆盖率产生混淆，为了方便大家区别，下面举一个例子:


if ((test1() || test2()) {//在只有test1()为false的情况下，这个地方有一个BUG
}
else {do_something_benign;
}

假设我们有如下两种情况：

test1()为true
test1()和test2()都为false

如果只是为了验证分支覆盖率，以上的两种情况就足够了，因为if语句中两种分支条件都有了，但是对于第一条分支中的只有在test1()为false情况下的BUG,这里并没有覆盖到。

而在条件覆盖率下，还需要验证test1()为false且test2()为true这种情况，只有这三种情况都验证到了，才算是满足了条件覆盖率。

5.翻转覆盖率(Toggle coverage)

翻转覆盖率衡量的是哪些单比特变量的值为0或1，表明代码中信号的0到1和1到0的翻转情况。

6.有限状态机覆盖率(FSM coverage)

有限状态机覆盖率衡量的是状态机中哪些状态和状态转换已经被访问过。表明状态机中各个状态的覆盖情况。

验证方法学覆盖率(一):代码覆盖率相关推荐

验证方法学的发展历程及比较
2000年, Verisity Design(现在的Cadence Design System公司)引进了Verification Advisor(vAdvisor)采用了e语言,包含了激励的产生,自 ...
UVM验证方法学之一验证平台
UVM验证方法学之一验证平台在现代IC设计流程中,当设计人员根据设计规格说明书完成RTL代码之后,验证人员开始验证这些代码(通常称其为DUT,Design Under Test).验证工作主要保证从 ...
验证方法学的历史及比较
2000年, Verisity Design(现在的Cadence Design System公司)引进了Verification Advisor(vAdvisor)采用了e语言,包含了激励的产生,自 ...
深入浅出FPGA-12-VMM（验证方法学）
引言验证方法学手册即为<Verification Methodology Manual>的直译. VMM是大规模集成电路(IC)设计验证领域的一种高级验证方法学. VMM验证方法学主要由 ...
通用验证方法学（Universal Verification Methodology, UVM）：简介及内容导航
目录 1. 介绍 1.1. 数字集成电路(Integrated Circuit, IC)设计 1.2. 数字集成电路(Integrated Circuit, IC)验证 2. 一个简易UVM验证平台例 ...
入门UVM验证方法学
文章目录 1.验证概述: 2.如何实现验证 3.验证方法学 4.简单的UVM平台 5.较为完整的UVM平台 6.一个实例 7. UVM树 8.phase机制 9.验证步骤([参考](https://b ...
【数字IC验证快速入门】45、UVM项目实践之APB_SPI（13）UVM 验证方法学总结
导读:作者有幸在中国电子信息领域的排头兵院校"电子科技大学"攻读研究生期间,接触到前沿的数字IC验证知识,旁听到诸如华为海思.清华紫光.联发科技等业界顶尖集成电路相关企业面授课程, ...
UVM 验证方法学之interface学习系列文章
本系列文章,针对 interface 做了较全面的剖析,并结合实际工作中遇到的一些问题,以简单的例子形式,展示给读者,方便读者自行下载和修改,加深对interface的理解.文章中的例子,几乎涵盖了i ...
VMM验证方法学学习随笔
1,计分板(scoreboard) 记分板用来动态预测设计的响应,施加给DUT的激励同时施加给记分板,记分板中的转换函数把输入的激励全部转换成最后响应的形式,并保存在数据结构中,以传递给检查器,记分板 ...

验证方法学覆盖率(一):代码覆盖率