01
验证方法论概述
黑盒验证、白盒验证、灰盒验证的概念与选择策略。
方法论策略
02
仿真环境搭建
Testbench结构、DUT例化、时钟与复位生成。
Testbench时钟
03
激励生成基础
$random、$urandom、系统函数的用法与局限。
随机化系统函数
04
波形调试技巧
Verdi/QuestaSim波形查看、信号追踪、波形比较。
调试波形
05
断言验证入门
SVA基础语法、立即断言与并发断言。
SVA断言
06
覆盖率驱动验证
代码覆盖率、功能覆盖率、翻转覆盖率。
覆盖率CDV
07
随机化验证策略
SystemVerilog随机化、约束求解、权重控制。
约束权重
08
总线协议验证
AXI/AHB/APB协议检查器、协议违例检测。
总线协议检查
09
寄存器模型验证
RAL模型搭建、前门/后门访问、寄存器测试。
RAL寄存器
10
验证计划制定
验证点分解、测试用例规划、回归策略。
计划回归
11
UVM基础入门
UVM树形结构、uvm_component与uvm_object。
UVM树形
12
UVM序列机制
sequence、sequencer、driver的交互流程。
sequencedriver
13
UVM环境搭建
env、agent、monitor、scoreboard的构建。
环境scoreboard
14
UVM寄存器模型
UVM RAL集成、predictor、adapter。
RALadapter
15
UVM覆盖率收集
UVM中covergroup的使用、功能覆盖模型。
covergroup功能覆盖
16
形式化验证入门
属性检查、数学证明与仿真互补。
形式化属性
17
低功耗验证
UPF/CPF检查、电源域切换、隔离逻辑验证。
低功耗UPF
18
复位验证策略
异步复位同步释放、复位域交叉检查。
复位CDC
19
时钟域交叉验证
CDC同步器、握手协议、FIFO深度检查。
CDCFIFO
20
内存验证
Memory BIST、MBIST控制器、内存初始化。
BIST内存
21
中断验证
中断优先级、中断嵌套、中断屏蔽测试。
中断优先级
22
DMA验证
DMA传输模式、描述符链、地址对齐检查。
DMA描述符
23
性能验证
吞吐量计算、延迟测量、带宽分析。
性能带宽
24
错误注入测试
ECC错误注入、奇偶校验错误、协议错误。
错误注入ECC
25
回归测试管理
回归脚本、测试用例分级、失败分析。
回归脚本
26
验证环境复用
VIP集成、跨项目复用、参数化环境。
复用VIP
27
门级仿真
SDF反标、时序检查、X态传播分析。
门级SDF
28
软硬件协同验证
虚拟原型、硬件加速、FPGA原型验证。
协同FPGA
29
验证度量指标
逃逸率、收敛曲线、验证完成标准。
度量收敛
30
验证自动化
Python脚本、TCL自动化、Makefile管理。
自动化脚本