01
仿真概述
功能仿真与后仿真的定义、目的、在芯片设计流程中的位置。
基础概念
02
仿真环境搭建
EDA工具选择（VCS、NC-Verilog、ModelSim）、编译库设置、仿真脚本基础。
环境脚本
03
Testbench基础
Testbench结构、initial/always块、时钟与复位生成、基本激励编写。
TB激励
04
功能仿真策略
定向测试与随机测试、覆盖率驱动验证、断言（SVA）基础。
策略SVA
05
后仿真概念
为什么需要后仿真？后仿真与功能仿真的区别、门级网表与SDF文件。
后仿SDF
06
SDF反标
SDF文件格式、反标过程、反标错误排查。
反标时序
07
时序检查
建立时间与保持时间、setup/hold violation、时序路径分析。
时序violation
08
后仿真中的X态传播
X态来源、X态传播问题、X态处理策略。
X态传播
09
后仿真中的毛刺处理
毛刺产生原因、毛刺过滤、毛刺对仿真的影响。
毛刺过滤
10
功耗仿真
动态功耗与静态功耗、功耗仿真流程、UPF/CPF基础。
功耗UPF
11
门级仿真库
标准单元库、IO库、宏单元库、仿真库的编译与验证。
库编译
12
仿真加速技术
多核仿真、硬件加速、仿真分区。
加速多核
13
回归测试策略
回归测试集管理、自动化回归流程、结果比对。
回归自动化
14
覆盖率收集
代码覆盖率、翻转覆盖率、功能覆盖率、覆盖率合并。
覆盖率合并
15
仿真调试技巧
波形查看、断点调试、日志分析、Verdi使用技巧。
调试Verdi
16
形式化验证与仿真互补
形式化验证简介、与仿真的结合策略。
形式化互补
17
低功耗仿真
多电压域仿真、电源关断仿真、电平转换器仿真。
低功耗电压域
18
复位策略仿真
异步复位、同步复位、复位同步器、复位树仿真。
复位同步
19
时钟域交叉（CDC）仿真
CDC问题、同步器建模、CDC验证方法。
CDC同步器
20
模拟与数字混合仿真
AMS仿真、数模接口建模、混合信号验证。
AMS混合
21
仿真性能优化
编译选项优化、仿真波形控制、仿真时间管理。
性能优化
22
脚本化仿真流程
Makefile/Perl/Python脚本、仿真参数化、批处理运行。
脚本自动化
23
仿真结果自动化比对
log解析、golden model比对、diff工具使用。
比对golden
24
仿真数据管理
仿真数据库、版本管理、回归报告生成。
数据管理
25
FPGA原型验证与仿真
FPGA原型验证流程、与仿真的协同策略。
FPGA原型
26
仿真与形式化验证结合
属性检查、模型检查、断言覆盖。
形式化断言
27
后仿真中的时序例外
false path、multicycle path、时钟分组。
例外时序
28
片上变化（OCV）仿真
OCV概念、derate因子、OCV仿真方法。
OCVderate
29
仿真标准与规范
IEEE 1800（SystemVerilog）、IEEE 1666（SystemC）、仿真规范文档。
标准规范
30
流片前仿真签收清单
仿真完成标准、签收检查项、常见问题汇总。
签收检查单