【system verilog】功能覆盖率(FCOV)建模

前言

一、功能覆盖率是什么？

待补充

覆盖率完备性
如果你的功能覆盖率很高但是代码覆盖率很低，这说明你列的测试点可能不够全面，有遗漏的功能没有加入到你的测试计划中，你的测试没有很好的执行设计的所有代码，这是应该回到设计规范上，更新验证计划，然后增加更过针对未测试功能的覆盖点。

如果你的功能覆盖率很低但是代码覆盖率很高，即使设计的代码都被执行了，但是你所列的覆盖点缺没有很好的覆盖到，首先要检测下dut是否实现了所有的功能，如果功能有了，但是还是测试不到，这时就需要一个形式验证工具来提取设计状态并创建合适的激励了。
————————————————
版权声明：本文为CSDN博主「验证cc」的原创文章，遵循CC 4.0 BY-SA版权协议，转载请附上原文出处链接及本声明。
原文链接：https://blog.csdn.net/qq_38620826/article/details/115390947

二、使用方法

1.使用语法

如何让某个仓至少覆盖某次：

功能覆盖率
让某个仓至少覆盖50次
在这里插入图片描述
option.at_least=50;

总结

例如：以上就是今天要讲的内容。