📘 基于模型的电路验证方法
📚
30章 · 完整目录
01
模型验证概述
什么是模型验证
芯片设计流程
传统 vs 模型验证
02
电路建模基础
模拟/数字建模区别
行为级模型
结构级/混合信号
03
Verilog-AMS入门
语言基础
模块/数据类型
离散/连续时间
04
SPICE模型深入
网表结构
MOS管BSIM3/4
无源器件/子电路
05
模型参数提取
提取流程
DC/AC参数
温度/工艺角/拟合
06
模型精度评估
误差分析
相对/绝对误差
R²/残差分析
07
仿真器配置
HSPICE/Spectre
Ngspice配置
收敛性问题
08
瞬态仿真验证
瞬态分析原理
激励源/步长控制
波形观测对比
09
AC小信号分析
AC分析原理
幅频/相频特性
带宽/零极点
10
DC扫描分析
DC扫描类型
I/O特性曲线
静态工作点/功耗
11
蒙特卡洛分析
工艺偏差建模
统计分布设置
仿真/结果分析
12
温度特性验证
温度系数模型
高/低温仿真
补偿/热稳定性
13
噪声分析
热/闪烁/散粒噪声
噪声谱密度
信噪比计算
14
失真分析
THD/IMD
1dB压缩点
三阶交调IP3
15
稳定性分析
环路增益/相位裕度
奈奎斯特判据
极点-零点追踪
16
数模混合仿真
混合信号流程
模拟/数字接口
事件驱动交互
17
模型校准技术
手动/自动校准
遗传算法调优
校准验证
18
工艺角(Corner)仿真
TT/SS/FF/FS/SF
工艺角文件
最坏情况分析
19
老化与可靠性验证
HCI/NBTI
老化模型仿真
可靠性评估
20
电磁兼容性(EMC)建模
EMC模型基础
传导/辐射发射
耦合/屏蔽评估
21
电源完整性验证
IR Drop分析
电源网络阻抗
去耦电容/瞬态
22
信号完整性验证
传输线模型
反射/串扰
眼图/抖动分析
23
模型标准化与复用
标准化库构建
接口规范/版本
复用策略
24
脚本自动化验证
Python/Perl驱动
批量仿真执行
结果解析/报告
25
验证覆盖率分析
代码/功能覆盖率
断言覆盖率
覆盖率驱动验证
26
断言与属性检查
SVA基础
时序断言
形式化验证简介
27
模型验证文档规范
验证计划/用例
仿真日志
验证报告模板
28
常见模型验证陷阱
收敛失败/不匹配
仿真速度优化
内存管理
29
工业级验证案例
PLL/ADC/DAC
DC-DC转换器
SerDes验证
30
前沿趋势与展望
AI辅助建模
云端仿真
数字孪生/OpenPDK