第1章
交换芯片验证概述
验证在芯片设计中的重要性 · 交换芯片的特点 · 验证环境整体架构
基础概念
第2章
验证方法论
UVM基础概念 · 验证计划制定 · 覆盖率驱动验证(CDV)
UVM方法论
第3章
开发环境搭建
Linux环境配置 · EDA工具安装 · 版本管理(Git)与项目结构
环境Git
第4章
SystemVerilog基础
数据类型 · 接口(Interface) · 断言(SVA)入门
SV语法
第5章
UVM核心组件
uvm_component与uvm_object · phase机制 · factory机制
UVM核心
第6章
验证IP(VIP)开发
总线功能模型(BFM) · Monitor设计 · Driver设计
VIPBFM
第7章
Sequence机制
sequence与sequencer · sequence item生成 · sequence仲裁
SequenceUVM
第8章
Agent与Env搭建
Agent封装 · Env层次化结构 · config_db配置
架构层次
第9章
参考模型(Reference Model)
功能建模 · 与DUT的对比策略 · 记分板(Scoreboard)设计
参考模型Scoreboard
第10章
测试用例(Test Case)编写
base_test设计 · virtual sequence · test flow控制
Test用例
第11章
寄存器模型(RAL)
寄存器描述文件 · RAL生成 · 前门/后门访问
RAL寄存器
第12章
交换芯片数据面验证
以太网帧结构 · MAC层验证 · VLAN处理验证
数据面MAC
第13章
交换芯片控制面验证
L2转发表验证 · L3路由验证 · ACL验证
控制面L2/L3
第14章
流量生成与检查
Packet生成器 · Packet检查器 · 错误注入
流量错误注入
第15章
覆盖率收集
覆盖率类型 · covergroup编写 · 覆盖率合并与分析
覆盖率covergroup
第16章
断言(SVA)实战
时序断言 · 协议断言 · 断言覆盖率
SVA断言
第17章
调试技巧
波形调试 · 日志管理 · 断点与回放
调试波形
第18章
回归测试(Regression)
回归脚本编写 · 自动化运行 · 结果比对
回归自动化
第19章
性能验证
吞吐量测试 · 延迟测试 · 背压测试
性能吞吐量
第20章
低功耗验证
电源域管理 · 低功耗序列 · UPF集成
低功耗UPF
第21章
形式化验证入门
属性检查 · 等价性检查 · 与动态验证的结合
形式化属性
第22章
多芯片系统验证
芯片间互联 · 同步机制 · 分布式验证环境
多芯片互联
第23章
验证环境复用
VIP复用 · 测试用例复用 · 跨项目移植
复用移植
第24章
脚本化与自动化
Python/Perl脚本 · Makefile管理 · CI/CD集成
脚本CI/CD
第25章
验证计划管理
vPlan编写 · 追踪矩阵 · 进度度量
计划vPlan
第26章
Bug管理
Bug生命周期 · Bug分类 · Bug分析报告
Bug管理
第27章
验证完成标准
功能覆盖点关闭 · 代码覆盖率 · 无已知严重Bug
完成标准质量
第28章
案例实战一：单端口交换芯片
单端口交换芯片验证环境搭建
实战单端口
第29章
案例实战二：多端口交换芯片
多端口交换芯片验证环境搭建
实战多端口
第30章
案例实战三：带CPU接口的交换芯片
带CPU接口的交换芯片验证环境搭建
实战CPU接口