第1章
覆盖率基础概念
什么是代码覆盖率、功能覆盖率、断言覆盖率,为什么需要关注覆盖率缺口。
概念入门
第2章
仿真工具与覆盖率收集
VCS/IUS/Xcelium等主流工具覆盖率编译选项与运行选项设置。
工具VCS
第3章
覆盖率数据库管理
URG/IMC工具使用,合并、比较、报告生成。
数据库URG
第4章
代码覆盖率分析
行覆盖率、条件覆盖率、状态机覆盖率、翻转覆盖率的含义与典型缺口场景。
代码覆盖分析
第5章
功能覆盖率建模
covergroup、coverpoint、cross、bin的定义与常见建模错误。
功能覆盖建模
第6章
断言覆盖率
SVA断言覆盖率收集,cover property的使用。
断言SVA
第7章
覆盖率驱动的验证流程
从验证计划到覆盖率收敛的完整闭环。
流程方法论
第8章
覆盖率缺口定位方法论
自顶向下与自底向上的分析策略。
定位策略
第9章
未覆盖代码分析
通过VCS的cm_log或urgReport定位未覆盖行与分支。
VCScm_log
第10章
条件覆盖率缺口
短路逻辑、不可达分支、X态传播导致的覆盖盲区。
条件X态
第11章
状态机覆盖率缺口
死状态、非法跳转、冗余状态的分析与修复。
FSM状态机
第12章
翻转覆盖率缺口
信号毛刺、复位同步、跨时钟域导致的翻转丢失。
翻转CDC
第13章
功能覆盖率bin设计
自动bin与手动bin的取舍,ignore_bins与illegal_bins的使用。
bin设计
第14章
cross覆盖率缺口
交叉覆盖率的组合爆炸与合理采样策略。
cross组合
第15章
transition覆盖率
时序序列覆盖,重复序列与间隔序列的建模。
时序transition
第16章
断言覆盖率缺口
断言触发条件过于严格,cover property采样时机错误。
断言采样
第17章
随机约束与覆盖率
约束求解器对覆盖率的影响,soft约束与dist权重调整。
约束随机
第18章
覆盖率导向的测试用例生成
定向用例与随机用例的互补策略。
用例生成
第19章
回归测试中的覆盖率管理
增量覆盖率、累积覆盖率、回归覆盖率报告解读。
回归管理
第20章
覆盖率合并与比较
多仿真批次合并,不同seed之间的覆盖率差异分析。
合并比较
第21章
覆盖率收敛标准
业界常见的覆盖率达标阈值,功能覆盖与代码覆盖的权衡。
标准收敛
第22章
覆盖率驱动的调试流程
从覆盖率缺口反推激励缺陷。
调试反推
第23章
形式化验证与覆盖率
形式化工具如何补充动态仿真的覆盖率缺口。
形式化补充
第24章
覆盖率分析中的常见误区
过度追求100%代码覆盖,忽略功能覆盖。
误区平衡
第25章
覆盖率报告解读
urgReport中的关键指标,如何快速定位高风险缺口。
报告urgReport
第26章
覆盖率与验证计划对齐
将覆盖率映射到验证计划中的功能点。
对齐计划
第27章
覆盖率驱动的回归优化
通过覆盖率反馈减少冗余用例。
优化回归
第28章
覆盖率在IP与SoC级别的差异
模块级覆盖与系统级覆盖的衔接。
IPSoC
第29章
覆盖率工具的高级功能
VCS的cm_assertion、cm_cond_toggle等细分选项。
高级VCS
第30章
覆盖率缺口案例分析
一个完整的从发现缺口到修复缺口的实战演练。
实战案例