VIP20

本课程属于：034-验证环境搭建 芯片设计与FPGA · 共 20 门相关课程，组合学习更完整。

查看所属VIP全部课程 →

← 返回所属目录咨询 / 购买

UVM芯片验证环境搭建与自动化回归

📚 共计 30 章节

验证环境概述

什么是验证 · 验证在芯片设计流程中的位置 · 验证工程师的职责与技能树

验证方法论

定向测试 vs 随机测试 · UVM方法论简介 · 覆盖率驱动验证(CDV)概念

Linux基础与工具链

Linux常用命令 · VCS/QuestaSim安装配置 · Makefile基础

SystemVerilog基础 (上)

数据类型 · 数组 · 结构体 · 枚举 · always_comb / always_ff

SystemVerilog基础 (中)

接口(interface) · 时钟块(clocking block) · 断言(SVA)入门

SystemVerilog基础 (下)

OOP基础 · 类 · 继承 · 多态 · 随机化与约束

验证组件之Driver

Driver的作用与设计 · 事务级到信号级转换 · 时序控制与驱动

验证组件之Monitor

Monitor的作用与设计 · 信号采样与事务级打包 · 覆盖率收集

验证组件之Sequencer

Sequencer的作用 · Sequence与Sequencer交互 · 启动与仲裁

SequencerSequence

验证组件之Agent

Agent封装 · Active与Passive模式 · config_db的使用

验证组件之Env

Env构建与连接 · Sub_env层次化 · 顶层Env搭建

验证组件之Test

Test启动流程 · Test配置 · Test与Env交互

验证组件之Scoreboard

Scoreboard作用 · 参考模型设计 · 数据比较与错误报告

Scoreboard比对

验证组件之Coverage

覆盖率类型 · covergroup/coverpoint · 交叉覆盖率

覆盖率功能覆盖

UVM核心机制之Factory

Factory模式 · type_override · instance_override

UVM核心机制之Phase

UVM Phase机制 · build/connect/run/report_phase

Phase生命周期

UVM核心机制之TLM

事务级建模(TLM) · put/get/transport · analysis端口与fifo

UVM核心机制之Sequence

Sequence进阶 · 嵌套Sequence · 同步与资源

UVM核心机制之Config

配置数据库(config_db)详解 · set/get · 层次化配置

config_db配置

UVM核心机制之Report

报告机制 · 消息ID与严重性 · report_handler定制

验证计划与测试用例

编写验证计划 · 测试用例分类与优先级 · 回归测试

断言(SVA)实战

立即断言与并发断言 · 断言嵌入环境 · 断言覆盖率

寄存器模型(RAL)

RAL概念 · UVM RAL构建 · 前门/后门访问 · 寄存器预测

验证环境调试

波形调试技巧 · 日志分析 · 死锁与竞争排查

吞吐量测试 · 延迟测试 · 带宽测试 · 性能瓶颈分析

低功耗验证

低功耗设计简介 · UPF/CPF基础 · 低功耗验证策略

形式化验证入门

形式化概念 · 与动态仿真对比 · 断言证明与属性检查

形式化属性

验证环境自动化

脚本化环境搭建 · 回归测试自动化 · 报告自动生成

自动化脚本

项目实战：I2C验证 (上)

需求分析 · 验证计划 · 环境架构设计

项目实战：I2C验证 (下)

组件编码 · 环境集成 · 调试与覆盖率收敛