01
仿真调试入门
什么是仿真调试？为什么需要仿真调试？核心流程
基础概念
02
仿真工具链详解
VCS、IUS、Questa对比，编译与运行基础命令
工具对比
03
波形调试基础
VCD/FSDB波形生成，DVE/Verdi查看，信号追踪
波形DVE
04
断点与单步调试
行断点、条件断点，Step Into/Over/Out
断点单步
05
Tcl脚本自动化调试
Tcl基础，仿真器执行Tcl，自动化断点与波形
Tcl自动化
06
UVM调试技巧
UVM树结构，factory机制，sequence/item流
UVM调试
07
覆盖率基础
覆盖率类型：代码、翻转、功能覆盖率
覆盖率概念
08
代码覆盖率分析
行、分支、条件、状态机覆盖率
代码分析
09
功能覆盖率建模
covergroup/coverpoint，bin与cross
建模SV
10
覆盖率收集流程
仿真收集、合并多个仿真、生成报告
流程合并
11
覆盖率驱动的验证
分析空洞，定向用例，回归收敛
驱动收敛
12
断言与覆盖率
SVA断言，cover property，断言覆盖率
断言SVA
13
随机化与覆盖率
随机约束求解，dist权重，覆盖率影响
随机约束
14
覆盖率合并与分析工具
urg、imc使用，合并报告生成
工具合并
15
覆盖率收敛策略
定位未覆盖点，制定计划，优先级排序
策略收敛
16
调试中的常见陷阱
RTL不一致，X态传播，时间精度
陷阱经验
17
性能调试
速度瓶颈，编译优化，profiling工具
性能优化
18
后仿真调试
门级与RTL差异，SDF反标，时序调试
后仿时序
19
低功耗仿真调试
UPF/CPF检查，电源域隔离，电平转换
低功耗UPF
20
形式化验证与仿真结合
形式化简介，互补场景，工具链集成
形式化结合
21
调试环境搭建
Makefile管理，脚本化编译，日志管理
环境Makefile
22
版本管理与回归
Git应用，回归自动化，结果比对
Git回归
23
覆盖率驱动的回归
基于覆盖率的用例选择，增量回归
回归增量
24
调试与覆盖率报告生成
HTML报告，邮件通知，趋势分析
报告自动化
25
团队协作调试
冲突解决，共享环境，代码审查
团队协作
26
IP级验证调试
IP环境搭建，接口协议，VIP使用
IPVIP
27
SoC级验证调试
系统启动，总线协议，中断调试
SoC系统
28
硬件加速仿真调试
Emulation/FPGA原型，软硬件协同
加速原型
29
AI/ML在验证调试中的应用
异常检测，覆盖率预测，自动调试助手
AIML
30
实战案例：UVM项目复盘
完整UVM项目从调试到覆盖率收敛全流程
实战复盘