01
验证策略总览
功能覆盖驱动的概念、为什么需要覆盖驱动、验证的终极目标。
概念目标
02
验证计划制定
从设计规格到验证计划、验证点的提取与分解、优先级划分。
计划分解
03
功能覆盖模型
覆盖组、覆盖点、交叉覆盖、覆盖仓的定义与使用。
模型仓
04
SystemVerilog 覆盖语法
covergroup、coverpoint、bins、iff、option.per_instance。
语法SV
05
覆盖数据收集
仿真器如何收集覆盖数据、合并多个仿真结果。
收集合并
06
覆盖数据分析
哪些覆盖点需要关注、如何识别覆盖空洞。
分析空洞
07
覆盖驱动的回归策略
如何用覆盖指导回归测试的增删。
回归策略
08
定向测试与随机测试的平衡
什么时候写定向用例、什么时候靠随机。
定向随机
09
断言覆盖
assertion coverage 与 functional coverage 的结合。
断言结合
10
覆盖率驱动的测试用例生成
自动生成用例的思路与工具。
自动生成工具
11
覆盖模型的重用
如何设计可复用的覆盖模型。
重用设计
12
覆盖数据后处理
脚本分析、可视化、报告生成。
脚本可视化
13
覆盖收敛策略
如何快速达到覆盖目标。
收敛目标
14
覆盖驱动的验证环境架构
组件划分、数据流、控制流。
架构组件
15
UVM 中的覆盖集成
在 UVM 环境中嵌入覆盖模型。
UVM集成
16
覆盖与验证完备性
如何用覆盖衡量验证是否做完。
完备性度量
17
覆盖驱动的 bug 查找
利用覆盖信息定位设计缺陷。
Bug定位
18
多项目覆盖管理
跨项目的覆盖复用与对比。
多项目复用
19
覆盖驱动的验证流程自动化
脚本、工具链、CI/CD 集成。
自动化CI/CD
20
覆盖模型调试
覆盖点不命中怎么办、如何调试覆盖模型。
调试命中
21
覆盖数据压缩与存储
大规模仿真覆盖数据的管理。
压缩存储
22
覆盖驱动的验证质量度量
覆盖率与验证质量的关系。
质量度量
23
覆盖驱动的验证计划动态调整
根据覆盖结果调整验证计划。
动态调整
24
覆盖驱动的验证环境优化
如何根据覆盖结果优化环境性能。
优化性能
25
覆盖驱动的验证团队协作
多人协作时的覆盖管理。
协作团队
26
覆盖驱动的验证文档生成
自动生成验证报告。
文档报告
27
覆盖驱动的验证方法学演进
从传统验证到覆盖驱动。
方法学演进
28
覆盖驱动的验证工具选型
主流 EDA 工具的覆盖功能对比。
工具EDA
29
覆盖驱动的验证案例研究
实际项目中的覆盖驱动实践。
案例实践
30
覆盖驱动的验证未来趋势
AI 辅助覆盖、形式化验证与覆盖结合。
AI趋势