🧪 Verdi 波形调试与设计分析高手之路 30章 · 从入门到实战

⭐ 友好色系
📘 完整目录 · 点击卡片跳转对应章节 ⚡ 波形 · 调试 · 覆盖率 · Tcl · UVM · 实战 🎯 每个章节含4个核心主题
01 Verdi入门
  • 工具概述
  • IC验证流程角色
  • 与其他工具对比
  • 安装与License配置
02 Verdi基础操作
  • 界面布局详解
  • 加载设计文件
  • 加载波形文件
  • 快捷键与鼠标操作
03 波形查看基础
  • 波形窗口操作
  • 信号添加与删除
  • 分组与颜色管理
  • 波形测量
04 信号追踪与驱动
  • nTrace原理
  • 波形追踪到RTL
  • 反向追踪
  • 跨层次追踪
05 波形比较与差分
  • 波形比较模式
  • Golden vs 失败波形
  • 自动差异高亮
  • 比较报告生成
06 状态机调试
  • FSM状态提取
  • 状态跳转图
  • 状态机覆盖率
  • 波形联动
07 断言调试
  • SVA断言显示
  • 断言失败定位
  • 断言覆盖率
  • 自定义调试脚本
08 覆盖率分析
  • 覆盖率类型
  • 合并与报告
  • 未覆盖点定位
  • 覆盖率驱动调试
09 nSchema原理图
  • 原理图生成导航
  • 关键路径高亮
  • 扇入扇出分析
  • 与波形联动
10 nTrace源码调试
  • 源码窗口高级功能
  • 信号高亮着色
  • 代码执行路径
  • 书签与注释
11 Tcl脚本基础
  • Tcl命令入门
  • 常用命令
  • 自动化波形加载
  • 脚本基础
12 Tcl脚本进阶
  • 自定义波形显示
  • 批量信号处理
  • 条件断点触发
  • 与外部工具交互
13 波形后处理
  • 波形数据导出
  • 波形数学运算
  • 重采样与压缩
  • 统计分析
14 功耗分析
  • 功耗分析流程
  • 翻转率统计
  • 动态功耗波形
  • 功耗热点定位
15 形式化验证辅助
  • 与形式化工具集成
  • 属性查看反例
  • 形式化结果可视化
  • 辅助调试
16 多核/多线程调试
  • 多核波形同步
  • 跨核信号追踪
  • 总线协议调试
  • 一致性协议分析
17 UVM调试
  • Testbench结构显示
  • Sequence/Driver关联
  • Factory机制调试
  • 报告与波形联动
18 门级仿真调试
  • 门级网表加载
  • SDF反标检查
  • 门级与RTL对比
  • 时序违例定位
19 低功耗设计调试
  • UPF/CPF加载
  • 电源域切换波形
  • 隔离/保持逻辑
  • 低功耗波形分析
20 模拟与混合信号
  • AMS仿真加载
  • 模拟信号数字显示
  • 混合信号交叉探测
  • 与AMS协同
21 性能分析
  • 性能计数器波形
  • 总线带宽分析
  • FIFO深度波形
  • 流水线气泡定位
22 调试方法论
  • 结构化调试流程
  • 假设驱动调试
  • 二分法定位Bug
  • 调试文档复盘
23 常见Bug模式
  • 亚稳态波形特征
  • 竞争条件分析
  • 复位同步问题
  • FIFO空满错误
24 Verdi与仿真器协同
  • 与VCS/IES集成
  • 仿真断点波形联动
  • 后处理调试模式
  • 增量编译调试
25 Verdi与版本管理
  • 与Git集成
  • 波形文件版本管理
  • 环境可重复性
  • 回归与自动分析
26 Verdi插件开发
  • PLI/VPI接口
  • 自定义波形插件
  • 信号自动分析插件
  • API调用示例
27 大规模设计调试
  • 层次化调试策略
  • 选择性波形加载
  • 分布式波形服务器
  • 多用户协同
28 调试效率提升
  • 快捷键终极指南
  • 自定义快捷键宏
  • 常用调试模板
  • 一键环境配置
29 实战案例1: CPU Core
  • 取指错误分析
  • 流水线冲突定位
  • Cache一致性
  • 异常处理追踪
30 实战案例2: SoC系统
  • DMA传输错误
  • 中断控制器波形
  • 外设寄存器错误
  • 系统死锁定位