🔬
后仿真验证 & 芯片流片实战
📘 30章 从入门到流片
⚡ 全流程
RTL → GDS
01
后仿真概述
概念
后仿真目的
设计流程
什么是后仿真
02
后仿真环境搭建
EDA
VCS/NC-Verilog
库文件
脚本框架
03
SDF反标基础
时序
SDF格式
$sdf_annotate
反标原理
04
SDF反标实战
调试
错误排查
覆盖率检查
典型问题
05
时序库与工艺角
PVT
最差/典型/最佳
工艺角
PVT条件
06
门级网表理解
结构
标准单元库
网表质量
实例化
07
后仿真测试向量
ATPG
功能向量
ATPG
格式转换
08
后仿真调试技巧
波形
信号追踪
断言
失败模式
09
建立时间与保持时间
时序
setup/hold
violation
时序检查
10
异步处理与跨时钟域
CDC
同步器
MTBF
CDC验证
11
复位与初始化
复位树
异步复位同步释放
上电序列
后仿真
12
低功耗后仿真
UPF
电源域切换
隔离
电平转换
13
IO与Pad环验证
IO
Pad环检查
ESD
Latch-up
14
存储器与BIST
Memory
内建自测试
修复
冗余分析
15
模拟与混合信号接口
AMS
数模混合
接口时序
AMS仿真
16
后仿真覆盖率
覆盖
代码覆盖率
翻转覆盖率
功能覆盖
17
回归测试与自动化
脚本
回归脚本
批量管理
结果比对
18
ECO与工程变更
ECO
金属层ECO
功能ECO
后仿真验证
19
Signoff标准
签核
时序signoff
功耗signoff
IR Drop/EM
20
流片前检查清单
检查
DRC/LVS
天线效应
物理验证
21
流片流程概述
GDS
光罩制作
晶圆制造
从GDS到晶圆
22
流片中的DFM
可制造性
OPC/RET
CMP
平坦化
23
封装与测试
ATE
封装类型
测试程序
ATE向量
24
芯片回片验证
Bring-up
电源时钟测试
基本功能
Bring-up流程
25
后仿真与硅片相关性
Correlation
偏差分析
模型校准
相关性方法
26
常见后仿真Bug案例
实战
时序violation
功能错误
功耗异常
27
后仿真性能优化
加速
多核并行
硬件加速
仿真加速
28
后仿真与形式验证
Formal
等价性检查
形式化验证
补充作用
29
先进工艺节点挑战
FinFET
工艺波动
可靠性
FinFET效应
30
课程总结与项目实战
流片全流程
综合项目
RTL到流片
职业发展