01
验证概述
芯片验证的定位、测试激励与功能覆盖的概念、验证计划制定。
验证基础计划
02
SystemVerilog基础
数据类型、操作符、过程块、接口与模块。
SV语法
03
面向对象编程
类与对象、封装、继承、多态、随机化。
OOP随机化
04
激励生成基础
$random与$urandom、约束块、随机化类、权重分布。
随机约束
05
驱动与监测
Driver设计、Monitor设计、Agent封装、sequencer机制。
DriverMonitor
06
功能覆盖基础
covergroup、coverpoint、bin与bin数组、交叉覆盖。
covergroupbin
07
覆盖组进阶
条件覆盖、转换覆盖、非法bin、忽略bin、覆盖选项。
进阶选项
08
断言基础
立即断言、并发断言、$rose/$fell/$stable、序列与属性。
断言SVA
09
断言进阶
带形式参数的断言、断言覆盖率、SVA与功能覆盖的结合。
参数化覆盖率
10
UVM基础
UVM树形结构、uvm_component与uvm_object、phase机制。
UVMphase
11
UVM环境搭建
uvm_env、uvm_agent、uvm_driver、uvm_monitor。
环境组件
12
UVM序列机制
uvm_sequence、uvm_sequencer、sequence_item、sequence仲裁。
sequence仲裁
13
UVM配置机制
uvm_config_db、资源管理、配置覆盖。
config_db覆盖
14
UVM工厂模式
factory重载、类型覆盖、实例覆盖。
factory重载
15
UVM报告机制
verbosity、severity、action、自定义报告。
报告verbosity
16
UVM寄存器模型
reg_model、reg_block、reg_field、前门与后门访问。
寄存器后门
17
UVM寄存器测试
reg2adapter、reg_predictor、内置寄存器测试序列。
adapterpredictor
18
UVM TLM通信
put/get/peek、analysis_port、fifo、export。
TLMfifo
19
UVM callback机制
callback注册、callback执行、典型应用场景。
callback扩展
20
UVM scoreboard
参考模型设计、比较器设计、数据流管理。
scoreboard比较器
21
覆盖率驱动验证
CDV流程、覆盖点规划、覆盖收敛策略。
CDV收敛
22
随机约束技巧
solve...before、implication、foreach约束、软约束。
约束solve
23
功能覆盖模型设计
覆盖组分层、覆盖点粒度、覆盖采样时机。
模型采样
24
覆盖数据分析
覆盖合并、覆盖报告、覆盖盲区分析。
分析盲区
25
断言覆盖与功能覆盖联动
assertion coverage、cover property、覆盖闭环。
断言覆盖闭环
26
验证计划与覆盖矩阵
验证点分解、覆盖矩阵设计、进度追踪。
矩阵计划
27
回归测试与覆盖收敛
回归策略、seed管理、覆盖驱动的seed调整。
回归seed
28
后仿真验证
时序检查、SDF反标、后仿激励适配、后仿覆盖。
后仿SDF
29
低功耗验证
power domain、level shifter、isolation、retention、UPF检查。
低功耗UPF
30
验证完结标准
覆盖率达到100%的陷阱、功能签收标准、验证报告撰写。
签收报告