电路验证 · 调试实战
📘 30章 从入门到精通
01
验证基础：什么是电路验证？验证在芯片开发流程中的位置，验证与测试的区别。
验证概念 · 芯片流程 · 验证 vs 测试
02
验证计划制定：如何编写验证计划，验证范围定义，功能覆盖率目标设定。
计划编写 · 范围定义 · 覆盖率目标
03
验证环境搭建：UVM基础架构，验证组件（driver、monitor、scoreboard）的搭建。
UVM架构 · driver/monitor/scoreboard
04
SystemVerilog断言：断言基础语法，立即断言与并发断言，断言在调试中的应用。
断言语法 · 立即/并发 · 调试应用
05
波形调试入门：VCS/Verdi工具使用，波形加载与信号追踪，查找信号跳变。
VCS/Verdi · 波形追踪 · 跳变查找
06
常见RTL Bug类型：组合逻辑环路，异步处理不当，状态机死锁，位宽不匹配。
组合环路 · 异步 · 死锁 · 位宽
07
仿真日志分析：日志级别设置，关键信息提取，错误定位技巧。
日志级别 · 信息提取 · 错误定位
08
覆盖率驱动验证：代码覆盖率与功能覆盖率，覆盖率合并与分析，未覆盖点调试。
代码/功能覆盖率 · 合并分析 · 未覆盖点
09
随机约束调试：约束冲突解决，随机种子复现，随机化失败定位。
约束冲突 · 种子复现 · 随机化失败
10
接口协议调试：AXI/APB协议检查，握手信号分析，协议违例定位。
AXI/APB · 握手信号 · 协议违例
11
时序问题定位：建立时间/保持时间违例，跨时钟域（CDC）问题，同步器使用。
setup/hold · CDC · 同步器
12
低功耗验证调试：电源域切换，隔离单元检查，电平转换器验证。
电源域 · 隔离单元 · 电平转换
13
形式化验证入门：属性检查，边界情况证明，与动态仿真互补。
属性检查 · 边界证明 · 互补动态仿真
14
后仿真调试：SDF反标，门级仿真，X态传播问题。
SDF反标 · 门级仿真 · X态传播
15
性能验证：吞吐量计算，延迟分析，瓶颈定位。
吞吐量 · 延迟 · 瓶颈定位
16
回归测试管理：回归脚本编写，失败用例分析，自动化重跑策略。
回归脚本 · 失败分析 · 自动重跑
17
调试工具进阶：波形比较，自动化脚本（Tcl/Python），数据库查询。
波形比较 · Tcl/Python · 数据库查询
18
片上系统（SoC）调试：多核交互，中断系统，DMA传输问题。
多核 · 中断 · DMA
19
存储子系统验证：Cache一致性，内存控制器，ECC校验问题。
Cache一致性 · 内存控制器 · ECC
20
模拟与数字接口调试：ADC/DAC接口，模拟模型精度，数模混合仿真。
ADC/DAC · 模拟模型 · 混合仿真
21
安全验证：安全启动，加密引擎，侧信道攻击防护验证。
安全启动 · 加密引擎 · 侧信道防护
22
FPGA原型验证：FPGA与ASIC差异，时钟管理，资源利用率调试。
FPGA/ASIC差异 · 时钟 · 资源利用率
23
验证IP（VIP）使用：VIP配置，回调函数，错误注入。
VIP配置 · 回调 · 错误注入
24
脚本化调试流程：日志解析脚本，波形自动化分析，报告生成。
日志解析 · 波形自动化 · 报告生成
25
团队协作调试：版本控制，问题追踪系统，代码评审中的验证视角。
版本控制 · 问题追踪 · 代码评审
26
验证方法论：基于断言验证（ABV），覆盖率驱动验证（CDV），场景导向验证。
ABV · CDV · 场景导向验证
27
复位与初始化调试：复位序列，初始化状态，上电时序。
复位序列 · 初始化 · 上电时序
28
死锁与活锁调试：资源竞争，优先级反转，超时机制。
资源竞争 · 优先级反转 · 超时
29
验证质量度量：逃逸率，缺陷密度，验证完成度评估。
逃逸率 · 缺陷密度 · 完成度评估
30
综合案例实战：从Bug报告到修复验证，全流程复盘与经验总结。
Bug报告 · 修复验证 · 全流程复盘