故障仿真场景构建与验证

📚 共计 30 章节
第1章
故障仿真概述
故障仿真的定义、目的与在芯片验证流程中的位置。
基础概念
第2章
故障模型基础
stuck-at 故障模型、transition 故障模型、bridging 故障模型。
模型经典
第3章
故障仿真工具介绍
主流EDA工具(如Synopsys TetraMAX、Mentor Tessent)的功能对比。
工具对比
第4章
故障列表生成
如何从网表中提取并生成标准故障列表(Fault List)。
网表列表
第5章
故障仿真流程搭建
从RTL到门级网表的故障仿真完整流程。
流程RTL
第6章
故障仿真库准备
标准单元库、IO库的故障模型库配置。
配置
第7章
测试激励生成
面向故障仿真的ATPG(自动测试向量生成)基础。
ATPG向量
第8章
故障仿真运行
命令行与图形界面下的故障仿真执行方法。
运行CLI
第9章
故障覆盖率分析
故障覆盖率(Fault Coverage)的计算与解读。
覆盖率分析
第10章
故障仿真结果解析
故障报告(Fault Report)的字段含义与分析方法。
报告解析
第11章
故障仿真与功能仿真的区别
目的、方法、结果对比。
对比功能
第12章
故障仿真中的时序考虑
setup/hold 时序对故障检测的影响。
时序setup/hold
第13章
故障仿真中的X态传播
X态对故障覆盖率的干扰与处理。
X态传播
第14章
故障仿真中的高阻态处理
Z态对故障仿真的影响。
高阻Z态
第15章
故障仿真中的多周期路径
如何正确处理多周期约束。
多周期约束
第16章
故障仿真中的时钟域跨越
跨时钟域故障的仿真挑战。
CDC跨时钟
第17章
故障仿真中的复位处理
异步复位与同步复位的故障仿真。
复位异步
第18章
故障仿真中的扫描链测试
扫描链的故障仿真与诊断。
扫描链DFT
第19章
故障仿真中的BIST
BIST逻辑的故障仿真方法。
BIST内建自测试
第20章
故障仿真中的压缩技术
测试数据压缩对故障仿真的影响。
压缩数据
第21章
故障仿真中的诊断技术
如何定位故障点(Fault Diagnosis)。
诊断定位
第22章
故障仿真中的功耗分析
动态功耗与故障仿真的关联。
功耗动态
第23章
故障仿真中的良率分析
故障仿真如何辅助良率提升。
良率提升
第24章
故障仿真中的DFT规则检查
DFT规则与故障仿真的协同。
DFT规则
第25章
故障仿真中的脚本自动化
使用Tcl/Perl/Python自动化故障仿真流程。
脚本自动化
第26章
故障仿真中的回归测试
如何构建故障仿真的回归测试环境。
回归环境
第27章
覆盖率驱动验证
以故障覆盖率为目标的验证方法。
覆盖率驱动验证
第28章
等效故障分析
减少冗余故障,提升仿真效率。
等效冗余
第29章
故障注入技术
软错误、单粒子翻转的故障仿真。
注入软错误
第30章
故障仿真项目实战
一个完整SoC芯片的故障仿真案例解析。
实战SoC