VIP20
本课程属于：046-数字IC形式化验证与EDA验证 芯片设计与FPGA · 共 20 门相关课程，组合学习更完整。
查看所属VIP全部课程 →
← 返回所属目录 咨询 / 购买

UVM仿真验证与Formal联合验证流程

共计 30 章节
点击此处阅读海量试读课程：100+行业、1000+细分领域
01
UVM验证方法学概述
核心概念 · 原理机制 · 实战要点
UVM验证方法学概述
02
UVM基础类库与组件架构
核心概念 · 原理机制 · 实战要点
UVM基础类库
03
UVM验证平台搭建流程
核心概念 · 原理机制 · 实战要点
UVM验证平台搭建流程
04
UVM序列与序列器机制
核心概念 · 原理机制 · 实战要点
UVM序列
05
UVM寄存器模型应用
核心概念 · 原理机制 · 实战要点
UVM寄存器模型应用
06
UVM覆盖率收集与功能覆盖模型
核心概念 · 原理机制 · 实战要点
UVM覆盖率收集
07
UVM仿真调试与常见问题
核心概念 · 原理机制 · 实战要点
UVM仿真调试
08
Formal验证基础与断言语言
核心概念 · 原理机制 · 实战要点
Formal验证基础
09
SVA断言编写与仿真验证
核心概念 · 原理机制 · 实战要点
SVA断言编写
10
Formal属性验证流程
核心概念 · 原理机制 · 实战要点
Formal属性验证流程
11
等价性检查与实现验证
核心概念 · 原理机制 · 实战要点
等价性检查实现验证
12
UVM与Formal验证策略对比
核心概念 · 原理机制 · 实战要点
UVMFormal
13
联合验证流程总体架构
核心概念 · 原理机制 · 实战要点
联合验证流程总体…核心概念
14
基于断言的UVM验证增强
核心概念 · 原理机制 · 实战要点
UVM基于断言的
15
Formal约束与UVM激励协同
核心概念 · 原理机制 · 实战要点
FormalUVM
16
形式化模型与UVM测试平台集成
核心概念 · 原理机制 · 实战要点
UVM形式化模型
17
覆盖率驱动的联合验证方法
核心概念 · 原理机制 · 实战要点
覆盖率驱动的联合…核心概念
18
回归测试中的UVM与Formal协同
核心概念 · 原理机制 · 实战要点
UVMFormal
19
RTL设计阶段的Formal预验证
核心概念 · 原理机制 · 实战要点
RTLFormal
20
接口协议验证中的联合流程
核心概念 · 原理机制 · 实战要点
接口协议验证联合流程
21
SoC集成验证中的Formal应用
核心概念 · 原理机制 · 实战要点
SoCFormal
22
复杂数据通路的形式化验证
核心概念 · 原理机制 · 实战要点
复杂数据通路的形…核心概念
23
UVM环境中的Formal属性库管理
核心概念 · 原理机制 · 实战要点
UVMFormal
24
自动化工具链与脚本实现
核心概念 · 原理机制 · 实战要点
自动化工具链脚本实现
25
仿真与Formal验证结果合并分析
核心概念 · 原理机制 · 实战要点
Formal仿真
26
工程案例
UVM+Formal验证APB接口 · 原理机制 · 实战要点
工程案例UVM+Formal
27
工程案例
UVM+Formal验证AES模块 · 原理机制 · 实战要点
工程案例UVM+Formal
28
联合验证中的性能优化与调度
核心概念 · 原理机制 · 实战要点
联合验证性能优化
29
团队协作与流程管理
核心概念 · 原理机制 · 实战要点
团队协作流程管理
30
未来趋势与扩展
核心概念 · 原理机制 · 实战要点
未来趋势扩展