复杂芯片模块仿真验证策略实战 · 课程目录

01

验证策略总览 V模型

芯片验证V模型 · 仿真验证位置 · 模块级 vs 系统级

02

验证计划制定 KPI

验证计划编写 · 功能/代码覆盖率 · 验证指标设定

03

验证环境架构 UVM

UVM组件 · 层次化testbench · Driver/Monitor/Sequencer

04

SystemVerilog基础回顾 OOP

OOP在验证中应用 · 随机化约束 · 断言语法

05

接口与驱动设计 Interface

Interface声明连接 · Driver时序 · Virtual Interface

06

Monitor与覆盖率收集 coverpoint

数据采样 · coverpoint/cross · 覆盖率合并分析

07

Sequence与Sequencer 仲裁

Sequence启动执行 · Sequencer仲裁 · Library管理

08

Scoreboard与参考模型比对

Scoreboard比较逻辑 · 参考模型搭建 · 数据一致性

09

寄存器模型(RAL) UVM RAL

RAL配置集成 · 前门/后门访问 · predictor机制

10

断言(SVA)实战蕴含

立即/并发断言 · |-> |=> · 断言覆盖率

11

随机化策略 seed

系统/模块级随机化 · 动态/静态约束 · 种子管理

12

功能覆盖率驱动验证(CDV) 闭环

覆盖率驱动流程 · 空洞分析 · 反推测试用例

13

低功耗验证 UPF

电源域划分 · UPF仿真支持 · 低功耗序列

14

形式化验证入门 Property

形式化 vs 动态仿真 · 属性检查 · 等价性检查

15

仿真加速技术 Emulation

硬件加速 · FPGA原型 · 仿真性能优化

16

调试与波形分析 VCD/FSDB

波形生成查看 · 断点调试 · 日志规范化

17

回归测试管理 Regression

自动化回归 · 用例分级 · 冒烟/全量回归

18

验证IP(VIP)的使用 AXI/APB

常见总线VIP集成 · 配置定制 · 问题排查

19

跨时钟域(CDC)验证同步器

CDC同步器类型 · 静态检查 · 仿真验证方法

20

复位验证异步/同步

异步/同步复位 · 释放时序 · 复位断言

21

错误注入与异常测试异常路径

错误注入方法论 · 异常覆盖 · 错误恢复验证

22

性能验证吞吐量

吞吐量/延迟测量 · 性能模型 · 瓶颈分析

23

后仿真(Post-Sim) 门级

门级仿真流程 · SDF反标 · 后仿与RTL差异

24

验证环境的重用参数化

模块→系统级迁移 · 组件参数化 · VIP打包

25

脚本与自动化 Makefile

Makefile/Shell · Python自动化 · 仿真器命令行

26

版本控制与CI/CD Git

Git使用 · CI流水线 · 验证环境自动部署

27

验证文档与评审 Checklist

验证计划/报告规范 · 设计/验证评审 · Checklist

28

团队协作与流程敏捷

职责划分 · 跨团队沟通 · 敏捷验证方法论

29

行业标准与规范 IEEE 1800

SystemVerilog标准 · UVM 1.2/2.0 · Accellera

30

综合案例实战 DMA

DMA控制器验证流程 · 计划到收敛 · 踩坑总结