电路验证工具链实战指南 · 课程目录

01

验证概述 01.html

什么是芯片验证验证位置挑战与目标

02

验证语言基础 02.html

SystemVerilog数据类型接口与模块

03

验证方法学入门 03.html

UVM是什么核心思想基本组件

04

仿真工具入门 04.html

VCS/Xcelium编译运行波形查看

05

波形调试技巧 05.html

DVE/Verdi信号追踪波形对比

06

覆盖率驱动验证 06.html

覆盖率类型代码/功能收集分析

07

断言验证基础 07.html

SVA简介立即/并发断言应用

08

寄存器模型(RAL) 08.html

UVM RAL模型构建前门/后门

09

验证计划与策略 09.html

编写计划验证点分解风险评估

10

测试用例编写 10.html

定向/随机测试约束求解器从计划到用例

11

验证环境搭建 11.html

UVM环境结构agent/monitorscoreboard

12

序列与序列器 12.html

sequence机制item生成仲裁

13

事务级建模 13.html

TLM通信port/exportanalysis fifo

14

配置机制 14.html

config_db资源管理覆盖重载

15

工厂模式与重载 15.html

UVM factory类型/实例重载应用场景

16

验证组件复用 16.html

可复用VIP参数化/回调验证IP集成

17

形式化验证入门 17.html

形式化概念属性检查与动态对比

18

低功耗验证 18.html

UPF/CPF低功耗仿真功耗状态验证

19

门级仿真 19.html

网表仿真SDF反标时序检查/X态

20

验证自动化 20.html

脚本回归结果比对报告生成

21

版本控制与CI/CD 21.html

Git应用持续集成回归流水线

22

验证度量与质量 22.html

完成标准逃逸率度量指标

23

跨时钟域验证 23.html

CDC问题同步器设计验证工具

24

模拟与混合信号验证 24.html

AMS验证数模接口real类型

25

验证调试高级技巧 25.html

日志分析波形自动化反推调试

26

性能验证 26.html

吞吐量延迟测量瓶颈分析

27

安全验证 27.html

安全机制故障注入安全架构

28

验证项目管理 28.html

团队协作进度跟踪里程碑

29

验证新趋势 29.html

AI辅助云上验证敏捷方法

30

综合实战项目 30.html

搭建UVM环境项目复盘经验总结