VIP20

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

查看所属VIP全部课程 →

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

验证环境搭建能力提升

共30节完整课程

验证环境搭建概述

什么是验证环境、验证在芯片开发流程中的位置、验证工程师的核心职责、验证环境搭建的总体流程。

什么是验证环境验证在芯片开发流程中的位置

Linux基础与开发环境准备

Linux常用命令（文件操作、进程管理、权限管理）、Vim编辑器使用、SSH远程连接、环境变量配置。

Linux常用命令（文件操作进程管理

版本控制工具Git

Git工作原理、常用命令（clone、commit、push、pull、branch、merge）、分支管理策略、Git与验证代码管理。

Git工作原理常用命令（clone

Makefile与自动化编译

Makefile基本语法、变量与规则、常用函数、在验证环境中使用Makefile管理编译与仿真。

Makefile基本语法变量与规则

EDA工具链概览

主流EDA工具介绍（VCS、Questa、Xcelium）、工具安装与License配置、工具基本使用流程。

主流EDA工具介绍（VCSQuesta

SystemVerilog基础

module/interface/package、类型系统和面向对象语法。

moduleinterface

Testbench结构设计

driver、monitor、scoreboard、checker和顶层连接。

接口与时钟复位

virtual interface、clocking block、reset sequence和同步采样。

virtual interfaceclocking block

事务级建模

transaction定义、字段随机化、打印与复制方法。

transaction定义字段随机化

随机激励生成

constraint语法、分布控制、随机种子和边界场景覆盖。

constraint语法分布控制

UVM组件体系

uvm_component、phase机制、factory和config_db使用。

uvm_componentphase机制

Sequence与Sequencer

sequence item、body任务、仲裁和虚拟sequence组织。

sequence itembody任务

事务到引脚级转换、握手控制、异常输入注入。

事务到引脚级转换握手控制

接口采样、协议事件解析、analysis port发送。

接口采样协议事件解析

Scoreboard设计

参考模型、期望队列、乱序比较和错误报告。

参考模型期望队列

覆盖率模型

covergroup、coverpoint、cross覆盖和覆盖目标拆解。

covergroupcoverpoint

SVA属性、时序关系、协议违例和错误定位。

SVA属性时序关系

寄存器模型RAL

寄存器描述、adapter、predictor和前门/后门访问。

寄存器描述adapter

AXI/APB VIP集成

商业VIP接入、配置参数、协议监控和常见调试。

商业VIP接入配置参数

仿真脚本工程化

文件列表、宏开关、回归参数和日志路径规范。

文件列表宏开关

回归测试平台

用例分层、冒烟/全量回归、失败重跑和结果汇总。

用例分层冒烟

波形与日志调试

FSDB/VCD生成、层次化日志、断点和二分定位。

性能与仿真加速

编译缓存、多线程仿真、用例裁剪和波形按需打开。

编译缓存多线程仿真

持续集成接入

Git触发、License队列、CI报告和失败通知。

Git触发License队列

缺陷管理流程

bug单模板、复现步骤、根因分析和关闭标准。

bug单模板复现步骤

可复用验证IP

参数化agent、接口抽象、文档和示例工程。

参数化agent接口抽象

低功耗验证环境

UPF加载、电源状态、隔离/保持单元和power aware仿真。

UPF加载电源状态

形式验证衔接

assume/assert、约束提取、形式工具与仿真互补。

覆盖收敛策略

覆盖洞分析、定向用例补齐、随机约束调整。

覆盖洞分析定向用例补齐

项目级环境交付

目录规范、使用手册、回归清单和交付验收。

目录规范使用手册