01
场景搭建概述
为什么需要仿真场景？场景在算法验证中的核心地位。
基础概念
02
仿真工具链介绍
主流仿真器（VCS、Modelsim、Xsim）对比与选择。
工具对比
03
测试平台（Testbench）基础
模块化设计思想，initial与always块的使用。
TBVerilog
04
时钟与复位生成
如何生成精确的时钟信号和异步/同步复位。
时钟复位
05
激励生成基础
使用$random、$urandom生成随机激励。
随机激励
06
约束随机激励
SystemVerilog中的constraint与randomize()方法。
SV约束
07
定向测试用例
针对边界条件和特殊场景编写定向激励。
定向边界
08
总线功能模型（BFM）
封装总线操作，提高激励复用性。
BFM复用
09
Monitor与Checker
如何编写自检查的验证环境。
自检验证
10
覆盖率驱动验证（CDV）
功能覆盖率与代码覆盖率的收集与分析。
覆盖率CDV
11
断言（Assertion）基础
立即断言与并发断言的使用场景。
断言SVA
12
SVA（SystemVerilog Assertion）进阶
序列、属性与覆盖点。
SVA序列
13
UVM基础
UVM框架的核心概念（uvm_component, uvm_sequence）。
UVM框架
14
UVM环境搭建
构建一个完整的UVM验证环境（env, agent, driver）。
UVM环境
15
UVM序列与事务
sequence与sequencer的交互机制。
UVMsequence
16
寄存器模型（RAL）
使用UVM RAL进行寄存器读写验证。
RAL寄存器
17
模拟与数字混合仿真
模拟信号如何接入数字验证环境。
混合AMS
18
后仿真（Gate-Level Simulation）
网表仿真与SDF反标。
后仿SDF
19
低功耗验证
UPF文件与低功耗仿真场景搭建。
低功耗UPF
20
形式化验证入门
使用Formal工具进行属性检查。
Formal属性
21
性能测试场景
如何构造高吞吐量、低延迟的测试场景。
性能吞吐
22
异常与错误注入
模拟总线错误、协议违例等异常场景。
异常注入
23
多核/多模块协同仿真
同步机制与死锁检测。
多核死锁
24
脚本自动化
使用Python/Perl/Tcl自动化仿真流程。
脚本自动化
25
回归测试管理
如何组织大规模回归测试并分析结果。
回归管理
26
波形调试技巧
使用Verdi/DVE高效定位Bug。
调试波形
27
日志与报告系统
结构化日志输出与自动化报告生成。
日志报告
28
验证计划（Verification Plan）
从需求到场景的映射方法。
计划映射
29
场景复用与参数化
通过参数化实现场景的灵活配置。
复用参数
30
综合实战
从零搭建一个完整的算法验证仿真场景。
实战完整