カバレッジ構成ファイルを使用して、「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
トグル カバレッジの収集が妨げられている可能性がある理由を知っている人はいますか?