01
场景验证概述
什么是仿真验证场景 · 验证在芯片开发流程中的位置 · 场景验证的核心目标
基础概念
02
验证方法论基础
基于断言的验证 · 覆盖率驱动验证 · 随机化验证的基本概念
方法论核心
03
验证环境架构
UVM基础架构 · Testbench组件划分 · 验证环境搭建的通用原则
UVM架构
04
SystemVerilog基础
面向对象编程基础 · 随机化与约束 · 断言(SVA)入门
SV语法
05
UVM核心机制
UVM树形结构 · phase机制 · objection机制 · config_db机制
UVM进阶
06
场景生成策略
直接测试用例 · 定向测试用例 · 随机测试用例 · 混合策略
策略场景
07
约束与随机化
约束的写法 · solve...before · dist约束 · 内嵌约束
随机化约束
08
功能覆盖率
covergroup与coverpoint · 交叉覆盖率 · 覆盖率收集与分析
覆盖率度量
09
断言(SVA)实战
立即断言与并发断言 · 断言序列 · 断言在场景验证中的应用
SVA断言
10
序列与场景
UVM sequence机制 · sequence的层次化组织 · virtual sequence
UVM序列
11
寄存器模型(RAL)
RAL的构建 · 前门访问与后门访问 · 寄存器场景验证
RAL寄存器
12
接口与虚拟接口
interface的用法 · virtual interface · 接口在场景中的角色
接口虚接口
13
Monitor与Checker
事务级监控 · 协议检查器 · 数据完整性检查
监控检查
14
Scoreboard设计
参考模型 · 数据比对策略 · 顺序检查与非顺序检查
计分板比对
15
Agent与Driver
agent的封装 · driver的行为建模 · 时序驱动
AgentDriver
16
环境集成
将各个组件组装成完整验证环境 · 环境配置与启动
集成环境
17
测试用例编写
从spec到testcase · 测试用例的层次化组织 · 复用性设计
用例复用
18
回归测试
回归测试策略 · 自动化运行 · 结果比对与报告
回归自动化
19
调试技巧
波形调试 · 日志分析 · 断点与打印 · 常见bug模式
调试Bug
20
性能验证
吞吐量验证 · 延迟验证 · 流水线场景构造
性能吞吐
21
低功耗验证
电源域切换 · 低功耗场景 · UPF在验证中的应用
低功耗UPF
22
形式化验证入门
形式化验证与动态仿真对比 · 属性检查 · 应用场景
形式化属性
23
跨时钟域(CDC)验证
CDC问题 · 同步器验证 · CDC场景构造
CDC跨时钟
24
复位场景验证
异步复位 · 同步释放 · 复位序列验证
复位时序
25
中断场景验证
中断产生 · 中断处理 · 中断优先级场景
中断优先级
26
DMA场景验证
DMA传输模式 · 描述符链 · 地址场景
DMA传输
27
错误注入与异常场景
错误注入方法 · 异常处理路径 · 容错验证
错误异常
28
多主设备场景
总线仲裁 · 多master并发 · 一致性场景
多主仲裁
29
验证计划与度量
验证计划制定 · 度量指标 · 完成度判断
计划度量
30
项目实战
一个完整IP的场景验证案例 · 从计划到签收的全流程
实战全流程