第四节 Questasim中覆盖率统计
在做验证的最后一步,需要输出覆盖率的报告,通过该报告,我们能够得到
当前各个文件和各个模块的覆盖率情况,从而能够修正下一步给 DUT施加的激
励。同时,该报告也是我们验证工作的一个总结和一个指标性的要求。在通常的
验证中,验证工程师需要覆盖到 95%的代码、分支以及状态。
下面我们来看看如何输出覆盖率报告。
首先,我们需要在验证工程的编译过程中加上–cover 这个参数。通过
该参数使能编译器运行过程中所有设计单元的许多覆盖率信息。这里仅介绍部分
重要的参数含义。
该参数 spec的选择为下面的一个或多个。
b—收集分支统计数据。
c—收集条件统计数据。
e—收集表达式统计数据。
s—收集状态统计数据。
1