⚡ 电路验证项目管理实战
30章 · 从入门到项目
📘 风格 · 活力色系
01
电路验证概述
什么是电路验证
验证在芯片开发中的位置
挑战与趋势
↗
02
验证方法论
动态仿真
形式化验证
静态时序分析
FPGA原型验证
↗
03
验证计划制定
验证目标定义
功能分解
覆盖率规划
资源与时间估算
↗
04
验证环境架构
UVM基础
Testbench组件
Agent与Sequencer
Driver与Monitor
↗
05
SystemVerilog基础
数据类型
接口
断言
随机化
功能覆盖率
↗
06
UVM核心机制
Factory模式
Phase机制
Transaction与Sequence
Config机制
↗
07
验证组件开发
Driver设计
Monitor设计
Scoreboard设计
Reference Model设计
↗
08
测试用例编写
定向测试
随机测试
约束随机测试
场景测试
↗
09
覆盖率驱动验证
覆盖率类型
覆盖率收集
覆盖率分析
覆盖率收敛
↗
10
断言验证
立即断言
并发断言
断言覆盖率
断言调试
↗
11
验证IP复用
VIP概念
VIP集成
VIP配置
VIP调试
↗
12
低功耗验证
功耗意图文件
低功耗仿真
功耗状态验证
UPF/CPF
↗
13
形式化验证
属性检查
等价性检查
模型检查
应用场景
↗
14
静态时序分析
时序约束
建立时间/保持时间
时序路径分析
时序收敛
↗
15
FPGA原型验证
原型平台选择
RTL移植
调试方法
性能评估
↗
16
验证项目管理
团队角色定义
里程碑设定
任务分解
风险管理
↗
17
验证流程自动化
回归测试
CI/CD集成
脚本化验证
报告生成
↗
18
验证质量度量
缺陷密度
逃逸率
覆盖率指标
验证完成标准
↗
19
验证调试技巧
波形分析
日志分析
断点调试
逆向追踪
↗
20
验证文档管理
验证计划文档
验证报告
测试用例文档
评审流程
↗
21
跨时钟域验证
CDC问题
同步器设计
CDC验证方法
工具使用
↗
22
复位验证
复位类型
复位树验证
复位同步
复位断言
↗
23
内存验证
内存模型
内存测试算法
BIST验证
ECC验证
↗
24
总线协议验证
AXI协议
AHB协议
APB协议
协议检查器
↗
25
模拟混合信号验证
AMS建模
数模接口验证
混合信号仿真
收敛策略
↗
26
安全验证
安全架构
安全攻击模型
安全验证方法
信任根验证
↗
27
验证工具链
仿真器
波形查看器
覆盖率工具
形式化工具
↗
28
验证环境调试
环境搭建问题
仿真性能优化
内存管理
随机种子管理
↗
29
验证回归管理
回归策略
失败分析
版本控制
持续改进
↗
30
验证项目实战
项目案例
经验总结
最佳实践
未来展望
↗