数字验证实验：代码与功能覆盖率实现与分析.pdfVIP

V1系列课程实验2

我们本次实验将带领大家认识如何定义覆盖率，如何从验证计划到测试用例的实现，最后再到覆

盖率的量化。从本次实验，大家可以掌握验证量化的两种基本数据，即代码覆盖率和功能覆盖

率。从这两种覆盖率，我们就可以掌握何时结束验证，确认验证的完备性。那么，接下来就让我

们开始吧。

首先请实验2的代码。在mcdt_pkg.sv中，路桑已经为大家添加了一个关于MCDT的覆盖率模

型mcdt_coverage，并且将它例化在顶层环境中。你可以阅读代码，了解mcdt_coverage的例

化、虚接口的传递、覆盖率的定义和采样。我们实验2的要求是，需要最终达到“尽可能

高的代码覆盖率和功能覆盖率”。

所以结合我们本次实验最终的验收目标，你可以复用你之前的测试用例，也可以使用路桑的测试

用例。当然，在你学习了覆盖率相关的课程，你就懂得了，当最终覆盖率无法提升时，需要

修改你的约束，或者创建新的test。

编译

在编译过程中，我们需要对于设计相关的文件设置额外的覆盖率编译选项。如下面的截图：

1.只选中与设计有关的文件

2.点击右键，选择compile-compileproperties，在弹