VIP20

本课程属于：015-规划控制算法 自动驾驶 · 共 20 门相关课程，组合学习更完整。

查看所属VIP全部课程 →

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

仿真验证全流程实战指南

📚 共计 30 章节

什么是仿真验证 · 验证在芯片设计流程中的位置 · 挑战与目标

验证方法论

基于断言 · 覆盖率驱动 · 随机化 · 形式化验证简介

方法论核心

制定验证计划 · 范围定义 · 功能点分解 · 验证矩阵

验证环境搭建

UVM基础架构 · 组件划分 · Testbench结构 · DUT连接

SystemVerilog基础

数据类型 · 接口 · 类与对象 · 随机化 · 断言基础

UVM核心机制

uvm_component/object · phase · factory · config_db

UVM序列机制

sequence/sequencer · 启动执行 · 嵌套与同步

UVM通信机制

TLM通信 · analysis port · blocking/non-blocking

UVM寄存器模型

reg_model构建 · 前门/后门访问 · 预测与更新

覆盖率收集

代码覆盖率 · 功能覆盖率 · 合并与分析

覆盖率度量

立即/并发断言 · SVA序列与属性 · 验证应用

随机化策略

约束求解器 · 权重 · 动态约束 · 调试

随机化约束

验证场景设计

正常 · 异常 · 边界 · 压力场景

调试与波形分析

波形查看 · 日志分析 · 断点调试 · 反标

回归策略 · 自动化 · 结果分析 · 冒烟测试

回归自动化

验证环境复用

垂直/水平复用 · VIP集成 · 跨项目复用

低功耗验证

功耗意图 · UPF/CPF · 低功耗仿真 · 场景

网表仿真 · SDF反标 · 时序检查 · 调试

形式化验证

属性检查 · 等价性检查 · 形式化引擎 · 应用

形式化属性

版本控制 · 问题追踪 · 度量 · 团队协作

验证语言进阶

SV OOP高级 · DPI-C · VPI接口

UVM 1.2新特性 · 实战技巧 · 性能优化

VIP架构 · 配置接口 · 验证套件

SoC挑战 · 启动流程 · 互联验证 · DMA

存储子系统验证

Memory模型 · Cache一致性 · DDR · ECC

外设接口验证

I2C/SPI/UART · PCIe · USB · Ethernet

安全启动 · 加密引擎 · 侧信道 · 安全隔离

验证自动化

脚本自动化 · 流程自动化 · 报告生成 · CI/CD

验证质量评估

完备性检查 · bug曲线 · 度量指标 · 评审

项目实战案例

从零搭建环境 · 完整流程 · 常见问题 · 经验