几种常见的覆盖率不能检出的情况
一直是用的cadence的icc（Incisive Comprehensive Coverage）工具来做code
covarage（rtl级即综合前）
代码冗余（举个简单例子，两输入与门的两输入在上一级是由同一根wire驱动）（再如状态机不能到达状态，不能满足的跳转条件）（再如条件判断语句的条件不可能满足true/false条件）
提高检出率的解决方法：修改冗余代码
有未删除的模块或逻辑，有为了ECO修正用的dummy逻辑
提高检出率的解决方法：删除未用的模块或逻辑。ECO相关为不可动的，即为不可检出，在报告中指明其不可检出原因。
always...
case...
xx:
...
...
default:
...
若已经将全case列全，defalt不会进入
提高检出率的解决方法：为不可检出，在报告中指明其不可检出原因。
testcase不全
这个也是做检出率的最要目的，，全code检证完全，为了防止bug漏发现
提高检出率的解决方法：补全不全的testcase
总结了几种常见的不能检出的类型,布布扣,bubuko.com
原文：http://www.cnblogs.com/hwcomcn/p/3586190.html