我正在使用覆盖配置文件通过提及“select_coverage -block -expression -toggle -module dut...”来明确收集代码覆盖率
不知何故，我无法获得有关该任务的切换覆盖率的任何数字。我什至尝试使用实例名称而不是模块，但它并没有改变任何事情。
这些是我拥有的其他一些设置：
->select_coverage -block -expr -toggle -fsm -module dut...
->set_fsm_scoring -hold_transition
->取消选择覆盖 -remove_empty_instances
->取消选择覆盖-表达式-模块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 -结构
->set_toggle_scoring -sv_enum
->选择功能
->set_covergroup -per_instance_default_one
->set_covergroup -optimize_model
有人知道什么可能会阻止收集切换覆盖吗？