01
仿真验证概述
什么是仿真验证 · 验证在芯片设计流程中的位置 · 挑战与目标
基础概念
02
脚本语言基础（Python）
环境配置 · 基本语法 · 文件操作 · 正则表达式入门
Python编程
03
脚本语言基础（Tcl）
Tcl语法 · 变量与列表 · 控制流 · 文件操作 · EDA交互
TclEDA
04
Makefile与自动化构建
基础语法 · 目标与依赖 · 变量函数 · 仿真Makefile模板
构建自动化
05
仿真工具入门（VCS）
编译仿真流程 · 常用选项 · 波形生成 · 调试技巧
VCS仿真
06
仿真工具入门（Verdi）
波形查看 · FSDB生成 · 信号追踪 · 断点调试
Verdi调试
07
仿真工具入门（Xcelium/IES）
编译仿真流程 · 与VCS异同 · 多核仿真
XceliumIES
08
回归测试（Regression）基础
概念 · 必要性 · 手动回归 vs 自动回归
回归测试
09
搭建第一个自动化回归框架
目录结构 · 脚本框架 · 运行单个case · 收集结果
框架自动化
10
日志解析与结果判定
日志格式 · 关键词匹配 · Pass/Fail · 错误分类
日志解析
11
测试用例（Testcase）管理
命名规范 · 描述文件 · 参数化用例
用例管理
12
覆盖率收集与合并
行/条件/翻转覆盖率 · 数据库合并
覆盖率合并
13
自动化报告生成
HTML模板 · 汇总表格 · 图表展示(通过率/覆盖率)
报告可视化
14
邮件与即时通讯通知
SMTP邮件 · 企业微信/钉钉机器人 · 自定义告警
通知告警
15
分布式仿真与资源调度
LSF/SGE集群 · 并行任务 · 资源监控
分布式调度
16
版本控制集成（Git）
Git基本操作 · 自动获取代码 · 分支验证策略
Git版本控制
17
持续集成（CI/CD）入门
Jenkins/GitLab CI · 触发器 · 流水线设计
CI/CD流水线
18
验证计划（Verification Plan）管理
Excel到自动化解析 · 追踪验证进度
计划管理
19
断言（Assertion）与检查器
SVA基础 · 仿真中断言 · 自动检查结果
断言SVA
20
形式化验证简介
形式化概念 · 与动态仿真区别 · JasperGold
形式化JasperGold
21
低功耗仿真验证
UPF/CPF基础 · 低功耗仿真 · 功耗意图检查
低功耗UPF
22
门级仿真（Gate-Level Simulation）
网表仿真 · SDF反标 · 时序检查
门级时序
23
软硬件协同验证
虚拟原型 · QEMU集成 · 驱动级测试
协同QEMU
24
验证IP（VIP）的使用
常见总线VIP(AXI/APB) · 配置与集成
VIPAXI
25
随机化验证与约束求解
SystemVerilog随机化 · 约束编写 · 随机种子管理
随机化约束
26
验证方法学（UVM）入门
UVM框架 · driver/monitor/scoreboard · sequence机制
UVM方法学
27
UVM寄存器模型（RAL）
RAL生成 · 前门/后门访问 · 自动化测试
RAL寄存器
28
性能验证与瓶颈分析
仿真性能监控 · 内存分析 · 加速仿真技巧
性能优化
29
验证数据管理与可视化
数据库存储 · 趋势分析 · Dashboard搭建
数据可视化
30
综合实战项目
从零搭建完整自动化验证平台（含所有模块集成）
实战项目