Переключить покрытие не собирается

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, я обнаружил, что в непреднамеренной ошибке сценарий слияния не собирает данные покрытия переключения. Покрытие собиралось в порядке.