Toggle Coverage nicht

Question

gesammelt bekommen

ich eine Coverage Konfigurationsdatei bin mit Code Coverage explizit sammeln durch die Erwähnung „select_coverage -Block -Ausdrucks Toggle -Modul dut ...“

Irgendwie bin ich nicht in der Lage jeder zu bekommen Nummer auf Umschaltabdeckung für die dut. Ich habe sogar versucht, Instanznamen anstelle von Modul zu verwenden, aber es hat nichts geändert.

Dies sind einige andere Einstellungen, die ich habe:

-> select_coverage -Block -expr Toggle -fsm -Modul dut ...

-> set_fsm_scoring -hold_transition

-> deselect_coverage -remove_empty_instances

-> deselect_coverage -Ausdrucks -Modul A

-> set_implicit_block_scoring -off

-> set_expr_coverable_operators -event_or

-> set_expr_coverable_statements -alle

-> 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

jemand eine Idee hätte, was könnte möglicherweise verhindern, dass Abdeckung erfasst wird?

Answer 1

Nach einer Vielzahl von Debug durch Untersuchung der Coverage-DB in IMC, fand ich, dass in einem versehentlichen Fehler, das Merge-Skript nicht Toggle Coverage Daten abholen. Die Abdeckung wurde in Ordnung gesammelt.