基带芯片验证环境搭建与用例编写实战

📚 共计 30 章节

基带芯片验证概述

基带芯片架构、验证的重要性、验证流程与V模型。

验证环境搭建基础

Linux环境配置、EDA工具安装、版本管理工具Git使用。

SystemVerilog基础 (上)

数据类型、操作符、过程块 (always_comb, always_ff)。

SystemVerilog基础 (下)

接口(Interface)、包(Package)、断言(Assertion)基础。

Interface断言

UVM验证方法学入门

UVM树形结构、核心类(uvm_component, uvm_object)、phase机制。

搭建第一个UVM环境

Driver、Monitor、Sequencer、Agent的搭建与连接。

Sequence与Sequencer

Sequence机制、Sequence Item生成、Sequence启动方式。

Transaction与Sequence Item

数据包定义、随机化约束、域自动化和打印。

随机化域自动化

Scoreboard与Reference Model

数据比对、预测逻辑、pass/fail判定。

覆盖率驱动验证

功能覆盖率、代码覆盖率、覆盖率收集与分析。

覆盖率分析

寄存器模型 (RAL)

寄存器模型构建、前门/后门访问、预测与镜像。

验证计划与测试点分解

如何编写验证计划、测试点提取方法、优先级划分。

计划测试点

基带物理层验证 (上)

LTE/NR物理信道映射、资源网格验证。

物理层资源网格

基带物理层验证 (下)

OFDM调制解调、FFT/IFFT验证。

信道编码验证

Turbo码、LDPC码、Polar码的验证策略。

MIMO与波束赋形验证

多天线技术验证、波束管理测试用例。

MIMO波束赋形

调度器、HARQ、随机接入过程验证。

RLC/PDCP层验证

分段与重组、加密与完整性保护验证。

RRC层与NAS层验证

连接管理、移动性管理、会话管理验证。

协议栈一致性测试

3GPP TS 38.523测试用例实现。

性能验证与功耗分析

吞吐量测试、延迟测量、功耗场景构建。

形式化验证入门

SVA断言编写、属性检查、FPV工具使用。

低功耗验证

电源域管理、DVFS验证、UPF文件检查。

扫描链、MBIST、边界扫描验证。

门级仿真 (GLS)

SDF反标、时序检查、后仿调试。

回归测试与CI/CD

回归脚本编写、Jenkins集成、自动化报告。

调试技巧与波形分析

Verdi/VCS使用技巧、波形dump策略、Bug定位方法。

验证质量度量

验证完成度评估、逃逸率分析、验证签收标准。

从零搭建一个完整的基带芯片验证环境。

实战完整环境

前沿技术展望

AI辅助验证、UVM-SystemC、便携式激励 (PSS)。