摘要：几种常见的覆盖率不能检出的情况一直是用的cadence的icc（Incisive Comprehensive Coverage）工具来做code covarage（rtl级即综合前）代码冗余（举个简单例子，两输入与门的两输入在上一级是由同一根wire驱动）（再如状态机不能到达状态，不能满足的跳转条件）（再如条件判断语句的条件不可能满足true/false条件）提高检出率的解决方法：修改冗余代码有未删除的模块或逻辑，有为了ECO修正用的dummy逻辑提高检出率的解决方法：删除未用的模块或逻辑。ECO相关为不可动的，即为不可检出，在报告中指明其不可检出原因。always...case...xx: 阅读全文