MCDF实验覆盖率验证与优化指南.pdfVIP

MCDF实验5

嗨！首先要恭喜你，坚持到我们最后这一个实验了！

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

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

盖率和功能覆盖率。从这两种覆盖率,我们就可以掌握何时结束验证，确认验证的完备性。

那么，接下来就让我们开始吧。

首先请实验5的代码。实验5的代码是基于实验4的代码，主要修改的文件即

mcdf_pkg.sv在mcdf_pkg.sv中，路桑已经为大家添加了一个关于MCDF的覆盖率

模型mcdfcoverage,并且将它例化在顶层环境中。你可以阅读代码，了解mcdf.

coverage的例化、虚接口的传递、覆盖率的定义和采样。

同时，路桑为大家了一个新的test,即mcdf_full_random_test.这个test尽可能

的将一些测试相关参数在仿真时进行了随机化。在接下来的仿真中，你依然可以复用你之

前实验4按照要求创建的几个test,将它们搬迁到lab5中。不过,我们实验5的要求是，需

要最终达到尽可能高的代码覆盖率和功能覆盖率”。

通过等级:代码覆盖率大于90%