01
仿真调试基础
仿真调试的概念 · 验证流程位置 · 常见仿真器 (VCS, IUS, Questa)
概念工具
02
波形调试入门
波形格式 VCD/FSDB/VPD · Verdi/DVE/SimVision · 信号搜索与分组
波形Verdi
03
断点与单步调试
设置断点 · 条件断点 · 单步执行 · Step Into/Over/Out · 会话管理
断点单步
04
日志与打印调试
$display/$monitor/$strobe · 格式化输出 · 日志级别 · 文件管理
日志SystemVerilog
05
断言调试
立即/并发断言 · 触发条件 · 断言覆盖率 · 调试技巧
断言SVA
06
覆盖率基础
覆盖率概念 · 代码/功能/翻转覆盖率 · 收集流程
覆盖率基础
07
代码覆盖率分析
行/分支/条件/状态机覆盖率 · 报告解读
行覆盖分支
08
功能覆盖率建模
covergroup/coverpoint · bin定义与自动分箱 · 交叉覆盖率 · 选项
covergroupbin
09
覆盖率驱动的验证
覆盖率驱动概念 · 闭环 · 收敛策略
CDV收敛
10
联合优化概念
调试与覆盖收敛的关系 · 为什么要联合优化 · 收益分析
联合优化策略
11
调试信息与覆盖率的关联
从调试推断覆盖率盲区 · 日志与覆盖率交叉分析
关联盲区
12
覆盖率导向的调试
定位未覆盖逻辑 · 覆盖率空洞调试 · 状态机未覆盖分支案例
导向空洞
13
调试驱动的覆盖率提升
从调试发现新场景 · 转化为覆盖率目标 · 边界条件覆盖案例
驱动边界
14
自动化调试与覆盖率收集
脚本化调试 · 自动提取覆盖率 · 自动化报告
自动化脚本
15
回归测试中的调试与覆盖率
回归失败调试 · 增量覆盖率分析 · 覆盖率回归
回归增量
16
覆盖率合并与比较
多轮合并 · 差异分析 · 增长趋势监控
合并比较
17
随机约束与覆盖率
随机约束影响 · 约束求解与覆盖率 · 定向/随机平衡
随机约束
18
形式化验证与覆盖率
形式化覆盖率概念 · 与仿真互补 · 覆盖盲区
形式化互补
19
覆盖率驱动的测试用例生成
自动生成测试用例 · 遗传算法 · 总线协议覆盖案例
生成遗传
20
调试与覆盖率的可视化
覆盖率热力图 · 调试轨迹 · 变化曲线 · Verdi/DVE
可视化热力图
21
团队协作中的调试与覆盖率
冲突管理 · 覆盖率共享 · 代码审查
团队协作
22
覆盖率收敛的度量
收敛曲线 · 速度评估 · 瓶颈识别 · 完成标准
度量收敛
23
调试效率优化
快捷键 · 脚本复用 · 知识库 · 自动化框架
效率优化
24
覆盖率优化技巧
bin合理设计 · 忽略无关覆盖率 · 采样/存储优化
技巧bin
25
复杂场景调试
多核/多时钟 · 低功耗 · 异步接口 · 死锁活锁
复杂多时钟
26
覆盖率驱动的验证计划
验证计划中的覆盖率目标 · 进度关联 · 完成标准
计划验证
27
调试与覆盖率的工具链集成
仿真器与调试集成 · 覆盖率工具接口 · CI/CD
工具链CI/CD
28
案例研究：UART 验证联合优化
UART协议分析 · 覆盖率建模 · 调试过程 · 优化结果
UART案例
29
案例研究：AHB 总线验证联合优化
AHB协议分析 · 覆盖率建模 · 调试过程 · 优化结果
AHB总线
30
总结与展望
最佳实践 · AI辅助调试 · 覆盖率预测 · 课程总结
展望AI