课程目录 · 从仿真到后仿真的验证流程实战

验证流程总览：从RTL仿真到后仿真的全链路介绍，为什么需要后仿真。

RTL仿真基础：VCS/Verilog编译器的使用，testbench结构，initial/always块。

RTL仿真进阶：任务与函数，系统任务($display, $monitor, $time)，文件读写。

RTL仿真实践：搭建一个简单的ALU验证环境，编写测试用例。

RTL仿真调试：使用DVE/Verdi波形调试，断点设置，信号追踪。

综合概念入门：逻辑综合是什么，DC工具简介，综合后的网表变化。

门级仿真(SDF反标)：SDF文件格式，$sdf_annotate系统任务，反标检查。

门级仿真(零延迟)：零延迟仿真的意义，与RTL仿真的差异，X态传播。

门级仿真(带延迟)：单元延迟与线负载延迟，setup/hold检查在仿真中的体现。

门级仿真(实践)：对ALU设计进行门级仿真，对比RTL结果。

形式验证入门：等价性检查(Formality)原理，为什么需要它。

形式验证实践：使用Formality比对RTL与门级网表，解决失配问题。

静态时序分析(STA)基础：时序路径，建立时间与保持时间，时钟周期。

STA约束(SDC)：create_clock, set_input_delay, set_output_delay。

STA实践：使用PrimeTime进行时序分析，查看时序报告。

功耗分析基础：动态功耗与静态功耗，VCD/SAIF文件生成。

功耗分析实践：使用PrimePower/PowerArtist进行功耗评估。

DFT(可测性设计)与仿真：扫描链插入，ATPG向量仿真。

后仿真环境搭建：准备网表、SDF、库文件，编写后仿真testbench。

后仿真调试技巧：X态抑制，不定态传播分析，SDF警告处理。

后仿真常见问题：仿真不匹配(前仿后仿不一致)，时序违规。

后仿真性能优化：网表精简，SDF精度控制，仿真加速选项。

后仿真自动化：Makefile/脚本管理后仿真流程，回归测试。

跨时钟域(CDC)验证：同步器模型，CDC仿真检查工具。

低功耗验证：UPF/CPF文件，电源域仿真，电平转换器。

复位验证：异步复位同步释放，复位树仿真，毛刺过滤。

存储器测试(BIST)：MBIST控制器仿真，存储器模型。

数模混合仿真：AMS模型，模拟信号与数字信号的接口。

验证覆盖率：代码覆盖率与功能覆盖率，在后仿真中的应用。

项目实战：一个完整SoC芯片从仿真到后仿真的全流程演练。