01
仿真验证概述
什么是仿真验证 · 为什么需要仿真验证 · 在FPGA流程中的位置
基础概念
02
仿真工具介绍
ModelSim/QuestaSim · Vivado Simulator · VCS 特点与选择
工具对比
03
Testbench基础
Testbench结构 · initial/always块 · 时间尺度与延迟控制
TB时序
04
激励生成
时钟/复位生成 · 数据激励 · 随机激励生成
激励随机
05
结果检查
波形观察 · $display/$monitor · 自动比对与断言
检查断言
06
仿真调试技巧
断点调试 · 波形分析 · 日志分析 · 常见错误排查
调试技巧
07
功能覆盖率
代码/翻转/功能覆盖率 · 收集与分析
覆盖率度量
08
断言验证(SVA)
断言基础 · 立即/并发断言 · 仿真应用
SVA断言
09
总线功能模型(BFM)
BFM概念 · AHB/AXI BFM实现 · 集成验证环境
BFM总线
10
验证方法学简介
UVM基础概念 · UVM树形结构 · phase机制
UVM方法学
11
UVM组件
driver · monitor · agent · scoreboard · env
组件UVM
12
UVM序列与事务
sequence_item · sequence · sequencer与driver握手
序列事务
13
UVM配置机制
uvm_config_db · 配置对象 · 组件/接口配置
配置UVM
14
UVM工厂模式
factory机制 · override · 类型注册与创建
工厂override
15
UVM TLM通信
TLM端口 · export/imp · fifo · analysis端口
TLM通信
16
寄存器模型(RAL)
UVM寄存器模型 · 前门/后门访问 · 寄存器预测
RAL寄存器
17
验证计划制定
验证目标 · 功能分解 · 测试点提取 · 验证矩阵
计划管理
18
测试用例设计
定向/随机/约束随机 · 边界测试 · 错误注入
用例设计
19
回归测试
回归策略 · 自动化脚本 · 结果收集与报告
回归自动化
20
版本管理与协同
Git应用 · 验证环境版本控制 · 多人协作流程
Git协同
21
验证IP重用
VIP概念 · 商用/自研VIP · 封装与文档
VIP重用
22
形式化验证入门
形式化概念 · 与动态仿真区别 · 适用场景
形式化静态
23
低功耗验证
功耗意图(UPF/CPF) · 低功耗仿真 · 电压域与电源关断
低功耗UPF
24
门级仿真(GLS)
综合后仿真 · 时序反标(SDF) · 常见问题
GLSSDF
25
软硬件协同验证
虚拟原型 · 硬件加速仿真 · FPGA原型验证
协同原型
26
验证效率提升
仿真加速 · 多核仿真 · 仿真农场(Simulation Farm)
效率加速
27
验证度量与质量
完成标准 · 逃逸率分析 · 质量评估
度量质量
28
脚本自动化
Tcl脚本 · Makefile管理 · Python自动化
脚本自动化
29
验证文档撰写
验证计划 · 验证报告 · Bug报告规范
文档规范
30
综合案例实战
从零搭建完整UVM验证环境 · SPI控制器为例
实战UVMSPI