VIP20

本课程属于：037-AI芯片流片实战 芯片设计与FPGA · 共 20 门相关课程，组合学习更完整。

查看所属VIP全部课程 →

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

验证仿真环境搭建实战

📚 共计 30 章节

点击此处阅读海量试读课程：100+行业、1000+细分领域

环境概览与工具链认知

验证仿真核心组件：DUT、Testbench、Monitor、Scoreboard；主流EDA工具（VCS、Questa、Xcelium）简介；环境搭建前的准备工作。

概览工具链

Linux基础与Shell脚本

验证工程师必备Linux命令（grep、find、sed、awk）；环境变量PATH、LD_LIBRARY_PATH；编写第一个自动化编译脚本。

GCC与Makefile入门

GCC编译流程：预处理、编译、汇编、链接；Makefile基本语法（目标、依赖、规则）；实战：为C模型编写Makefile。

Verilog/VHDL基础回顾

模块化设计思想；常用语法（always、assign、initial）；仿真时间尺度`timescale；可综合与不可综合代码的区别。

VCS工具实战（上）

VCS编译选项详解（-full64、-sverilog、-debug_acc+all）；单文件与多文件编译；生成simv可执行文件。

VCS工具实战（下）

VCS运行时选项（-l log、-ucli、-gui）；波形生成（VPD/VCD）；常见编译错误与警告处理。

QuestaSim工具实战

QuestaSim库管理（vlib、vmap）；编译（vlog、vcom）；仿真（vsim）；GUI与TCL脚本模式。

Xcelium工具实战

Xcelium工作流（xrun、xmvlog、xmsim）；增量编译与快照管理；多核并行仿真加速。

Makefile自动化编译系统

设计通用Makefile模板；支持多工具切换（VCS/Questa/Xcelium）；参数化编译选项。

自动化模板

版本控制（Git）入门

Git基本操作（clone、commit、push、pull）；分支管理策略；.gitignore配置。

验证环境目录结构设计

标准目录规范（src、tb、sim、scripts、logs）；文件命名约定；环境复用性设计。

SystemVerilog基础（上）

数据类型（logic、bit、int、struct）；过程块（always_comb、always_ff）；接口（interface）基础。

SystemVerilog基础（下）

面向对象编程（类、对象、继承、多态）；随机化（randomize、constraint）；功能覆盖率（covergroup）。

UVM基础概念

UVM树形结构（uvm_component、uvm_object）；phase机制（build_phase、run_phase）；factory机制。

UVM环境搭建实战

编写第一个UVM testbench（uvm_test、uvm_env、uvm_agent）；sequence与driver通信。

仿真波形调试技巧

使用DVE/Verdi查看波形；信号追踪与断点设置；波形比较与自动化检查。

日志系统与报告机制

$display与uvm_info的区别；日志级别控制（UVM_LOW、UVM_MEDIUM、UVM_HIGH）；生成HTML格式报告。

断言（Assertion）基础

立即断言与并发断言；SVA（SystemVerilog Assertion）语法；在仿真中启用断言。

覆盖率驱动验证

代码覆盖率（line、toggle、branch）与功能覆盖率；覆盖率合并与分析；覆盖率驱动的回归测试。

覆盖率回归

回归测试系统搭建

编写回归测试脚本；并行运行多个testcase；结果汇总与自动比对。

回归自动化

仿真加速技术

编译优化选项（-O、-inline）；分区编译；增量编译与增量仿真。

混合语言仿真

Verilog + SystemVerilog + C/C++混合编译；DPI（Direct Programming Interface）调用；PLI/VPI应用。

形式化验证入门

形式化验证与动态仿真的区别；断言证明（assertion prove）；工具（JasperGold、VC Formal）简介。

形式化证明

低功耗仿真

UPF（Unified Power Format）基础；低功耗仿真流程；电源域切换验证。

后仿真（Gate-Level Simulation）

网表仿真；SDF反标；时序检查（setup/hold）；后仿真调试技巧。

仿真环境调试实战

常见仿真挂死原因分析（死锁、无限循环）；内存泄漏检测；性能分析（profiling）。

持续集成（CI）与验证

Jenkins/GitLab CI配置；自动化触发回归；邮件通知与报告展示。

多项目环境管理

多版本工具链共存（module工具）；环境隔离（Docker/Container）；license管理。

验证方法论总结

UVM vs 传统方法；自顶向下与自底向上验证；验证计划（Verification Plan）编写。

方法论计划

综合实战项目

从零搭建完整验证环境（AHB/APB协议）；编写测试用例；收集覆盖率；完成一次完整回归测试。