所属分类：芯片半导体与FPGA 当前为单品课程，可返回上一级继续浏览同方向资料。

← 返回上一级

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

UVM验证形式化验证辅助仿真入门到精通

共计 30 章节

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

学习目标 · 课程结构 · 验证方法学概览

课程导入学习目标

验证基础回顾

验证计划 · 测试平台组件 · 覆盖率模型

验证基础回顾验证计划

UVM核心架构

uvm_component · uvm_object · uvm_sequence

UVM核心架构

UVM工厂机制与配置机制

工厂覆盖 · 类型覆盖 · 配置数据库（uvm_config_d…

UVM工厂机制

UVM序列与序列器

sequence · sequencer · sequence_item的生成与驱…

UVM寄存器层

RAL模型 · 寄存器模型构建 · 前门与后门访问

UVM寄存器层

UVM覆盖率收集

功能覆盖率 · 代码覆盖率 · 覆盖率驱动的验证收敛

UVM覆盖率收集

UVM高级特性

TLM端口与通信 · analysis port · imp port

UVM高级特性

UVM环境搭建实战

搭建一个完整的UVM测试平台 · 包括接口 · 驱动

UVM环境搭建实战

UVM调试与性能优化

常见UVM错误 · 调试技巧 · 仿真性能瓶颈

形式化验证基础

形式化验证概念 · 静态验证与动态验证区别 · 形式化验证在验证流程中的位置

形式化验证基础形式化验证概念

形式化验证核心方法

属性检查（assertion） · 模型检查（model checkin… · 等价性检查（equivalence…

形式化验证核心方…assertion

SVA断言语言

SystemVerilog Asse… · 立即断言 · 并发断言

SVA断言语言

SVA高级应用

时序属性 · 复合属性 · 局部变量

SVA高级应用

形式化验证工具流程

典型形式化验证工具（如JasperG… · VC Formal）的使用流程 · 环境配置

形式化验证工具流…JasperG

形式化验证与仿真协同

形式化验证辅助仿真验证的策略 · 如何用形式化验证发现仿真盲区 · 如何用仿真补充形式化验证的复杂度限制

形式化验证仿真协同

形式化验证案例实战

对典型模块（如FIFO · 仲裁器 · 状态机）进行形式化验证

形式化验证案例实…FIFO

UVM与形式化验证集成

在UVM环境中嵌入形式化验证 · 使用UVM序列生成激励辅助形式化验证 · 断言在UVM中的使用

UVM形式化验证集成

覆盖率驱动的混合验证方法

结合UVM功能覆盖率和形式化验证的覆… · 实现更全面的验证收敛

覆盖率驱动的混合…UVM

常见问题与陷阱

UVM使用中的常见错误 · 形式化验证的误用 · 断言编写中的常见问题

常见问题陷阱

验证方法学进阶

基于断言的验证（ABV） · 属性覆盖率 · 验证IP复用

验证方法学进阶ABV

大型项目验证策略

多模块验证 · 系统级验证 · UVM环境分层

大型项目验证策略多模块验证

UVM与形式化验证的自动化流程

脚本化验证流程 · 回归测试 · 持续集成中的验证集成

UVM形式化验证的自动…

性能与资源优化

仿真性能优化 · 形式化验证的资源限制 · 抽象与简化技术

性能资源优化

一个完整IP的验证项目 · 从验证计划到UVM环境搭建 · 再到形式化验证补充

设计一个带复杂协议的模块（如AXI · PCIe） · 使用UVM进行仿真验证

综合实战AXI

验证质量评估

验证完备性评估 · 覆盖率分析 · 形式化验证的完备性证明

验证质量评估验证完备性评估

UVM与形式化验证的新发展 · 机器学习在验证中的应用 · 验证方法学的未来

前沿趋势UVM

学员独立完成一个从零开始的UVM验证… · 并针对关键属性进行形式化验证 · 提交验证报告

课程项目UVM

总结与提升

课程回顾 · 知识体系梳理 · 常见问题解答

提升课程回顾