📘 芯片验证 · 全栈指南
服务器芯片系统集成与验证 · 30章
⭐ 30 个实战章节
01
芯片验证概述
验证位置
挑战与目标
工程师职责
02
验证方法论
仿真验证
形式化验证
STA
物理验证
03
验证计划制定
编写计划
范围定义
功能覆盖率
环境架构
04
SystemVerilog基础
数据类型
过程块
接口
断言
随机化
05
UVM基础
UVM架构
组件
序列机制
06
UVM进阶
寄存器模型
TLM通信
工厂模式
配置机制
07
验证环境搭建
完整UVM环境
组件连接
测试用例
08
功能覆盖率
覆盖率类型
收集
驱动验证
闭合策略
09
断言验证
断言类型
编写技巧
SVA基础
10
随机化验证
随机策略
约束求解
调试
定向+随机
11
低功耗验证
低功耗技术
UPF/CPF
验证方法
功耗仿真
12
形式化验证
基础
属性检查
等价性
模型检查
13
静态时序分析
STA基础
时序约束
路径分析
收敛策略
14
物理验证
DRC/LVS/ERC
天线效应
DFM规则
15
仿真加速
加速技术
硬件加速
性能优化
并行仿真
16
回归测试
策略
自动化回归
结果分析
覆盖率回归
17
调试与诊断
波形调试
日志分析
断点调试
反标调试
18
版本管理与协同
Git/SVN
环境版本
团队协同
19
验证指标与度量
进度度量
质量指标
缺陷密度
完成标准
20
后硅验证
回片测试
ATE测试
系统级测试
后硅调试
21
PCIe子系统验证
协议基础
验证环境
配置空间
事务层
22
DDR子系统验证
协议基础
验证环境
时序验证
训练序列
23
以太网子系统验证
协议基础
验证环境
MAC层
PHY层
24
一致性验证
缓存一致性
验证环境
测试用例
调试
25
中断子系统验证
中断控制器
优先级
嵌套
延迟
26
DMA子系统验证
控制器验证
传输模式
地址映射
性能
27
安全子系统验证
安全启动
加密引擎
信任根
漏洞测试
28
系统级验证
SoC系统级
多核协同
性能验证
稳定性
29
验证自动化
脚本自动化
流程自动化
报告生成
CI/CD
30
验证趋势与前沿
AI辅助
云验证
开源工具
敏捷方法