我正在使用覆盖率配置文件通过提及“select_coverage -block -expression -toggle -module dut...”来明确收集代码覆盖率
不知何故,我无法获得待测试器件切换覆盖范围的任何数字。 我什至尝试使用实例名称而不是模块,但它没有改变任何事情。
这些是我的其他一些设置:
->select_coverage -block -expr -toggle -fsm -module dut...
->set_fsm_scoring -hold_transition
->取消选择覆盖-remove_empty_instances
->deselect_coverage -表达式 -模块 A
->set_implicit_block_scoring -off
->set_expr_coverable_operators -event_or
->set_expr_coverable_statements -全部
->set_libcell_scoring
->设置分配评分
->设置语句评分
->设置参数化模块覆盖率
->set_expr_scoring-struct
->set_toggle_scoring -sv_enum
->选择功能
->set_covergroup -per_instance_default_one
->set_covergroup -optimize_model
有人知道什么可能会阻止切换覆盖范围被收集吗?
最佳答案
通过检查 imc 中的覆盖率数据库进行大量调试后,我发现在一个无意的错误中,合并脚本没有拾取切换覆盖率数据。 报道收集得很好。
关于code-coverage - 切换未收集覆盖范围,我们在Stack Overflow上找到一个类似的问题: https://stackoverflow.com/questions/37996042/