切换未收集的Coverage

Question

我正在使用覆盖率配置文件通过提到"select_coverage -block -expression -toggle -module dut...“来显式地收集代码覆盖率。

不知何故，我不能得到任何数字的切换覆盖的dut。我甚至尝试使用实例名称而不是模块，但这并没有改变任何事情。

以下是我的其他几个设置：

->select_coverage -block -expr -toggle -fsm -module dut...

->set_fsm_scoring -hold_transition

->deselect_coverage -remove_empty_instances

->deselect_coverage -expression -module A

->set_implicit_block_scoring -off

->set_expr_coverable_operators -event_or

->set_expr_coverable_statements -all

->set_libcell_scoring

->set_assign_scoring

->set_statement_scoring

->set_parameterized_module_coverage

->set_expr_scoring -struct

->set_toggle_scoring -sv_enum

->select_functional

->set_covergroup -per_instance_default_one

->set_covergroup -optimize_model

有没有人知道是什么阻止了切换覆盖率的收集？

Answer 1

通过检查imc中的coverage DB进行了大量的调试之后，我发现在一个无意的错误中，合并脚本没有选择切换覆盖率数据。覆盖范围被收集得很好。