看不到环境中的断言/功能覆盖答案

【问题标题】：Cant see assertions/ functional coverage in the environment看不到环境中的断言/功能覆盖
【发布时间】：2017-05-18 07:45:53
【问题描述】：

我在回归的运行选项中使用了 covfile 和 select_functional 命令，出现了覆盖组，但是我在 IMC 中看不到断言以便映射它们。如果我运行测试并给出 covfile 命令它可以工作，但在回归时它不会。

【问题讨论】：

无法理解问题。你的意思是说，单次运行，你得到了功能覆盖的所有数据，但在回归中，你没有得到它？
是的。尽管我使用与单次运行相同的 covfile，但没有为回归激活功能覆盖。
您的回归命令可能有问题？它可能没有通过回归中的功能覆盖适当的切换。你能确认一下，所有要求的开关是否都通过了吗？
所有开关都正确传递。我设法弄清楚了。 covfile命令应该在regression的run_options中，也应该在编译脚本的run_options中。
我投票结束这个问题，因为它与设置编译/运行而不是代码有关。这是属于工具供应商论坛的问题。

标签： code-coverage system-verilog uvm

【解决方案1】：

covfile 命令应该在回归的run_options 中，也应该在编译脚本的run_options 中。

【讨论】：

【解决方案2】：

我假设您使用的是 Cadence irun，因为您提到了 IMC。我还假设您使用 vManager 作为回归工具。为什么覆盖率没有出现在回归 ucd 中，我怀疑您在回归中使用的快照与在本地运行 sim 时没有使用相同的快照，这会在运行中使用 covfile 创建快照。仔细检查您的 irun.log，看看它正在使用哪个快照。然后检查该快照的详细说明参数（您可以在 .INCA_lib/ 目录下找到它，以查看快照是否打开了覆盖。（-coverage all）

【讨论】：