code-coverage - 切换覆盖范围未收集

我正在使用Coverage配置文件通过提及“select_coverage -block -expression -toggle -module dut ...”来明确收集代码覆盖率。

不知何故，我无法在dut的切换覆盖范围内获得任何数字。我甚至尝试使用实例名称而不是模块，但它没有改变任何东西。

这些是我的其他一些设置：

- ＆gt; select_coverage -block -expr -toggle -fsm -module dut ...

- ＆gt; set_fsm_scoring -hold_transition

- ＆gt; deselect_coverage -remove_empty_instances

- ＆gt; deselect_coverage -expression -module A

- ＆gt; set_implicit_block_scoring -off

- ＆gt; set_expr_coverable_operators -event_or

- ＆gt; set_expr_coverable_statements -all

- ＆GT; set_libcell_scoring

- ＆GT; set_assign_scoring

- ＆GT; set_statement_scoring

- ＆GT; set_parameterized_module_coverage

- ＆gt; set_expr_scoring -struct

- ＆gt; set_toggle_scoring -sv_enum

- ＆GT; select_functional

- ＆gt; set_covergroup -per_instance_default_one

- ＆gt; set_covergroup -optimize_model

有人会知道什么可能阻止切换报道被收集？