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

低功耗芯片UPF形式化验证方法

共计 30 章节
点击此处阅读海量试读课程：100+行业、1000+细分领域
01
低功耗设计与UPF基础
核心概念 · 原理机制 · 实战要点
UPF低功耗设计
02
电源格式标准与UPF文件结构
核心概念 · 原理机制 · 实战要点
UPF电源格式标准
03
UPF电源意图建模
核心概念 · 原理机制 · 实战要点
UPF电源意图建模
04
低功耗验证与形式化验证概览
核心概念 · 原理机制 · 实战要点
低功耗验证形式化验证概览
05
形式化验证核心原理
核心概念 · 原理机制 · 实战要点
形式化验证核心原…核心概念
06
UPF形式化验证的验证对象
核心概念 · 原理机制 · 实战要点
UPF形式化验证的验证…
07
电源域边界与电源状态枚举
核心概念 · 原理机制 · 实战要点
电源域边界电源状态枚举
08
电源状态转换与可达性验证
核心概念 · 原理机制 · 实战要点
电源状态转换可达性验证
09
电源管理控制逻辑形式化建模
核心概念 · 原理机制 · 实战要点
电源管理控制逻辑…核心概念
10
隔离单元验证
核心概念 · 原理机制 · 实战要点
隔离单元验证核心概念
11
电平转换器验证
核心概念 · 原理机制 · 实战要点
电平转换器验证核心概念
12
保持逻辑与状态保持验证
核心概念 · 原理机制 · 实战要点
保持逻辑状态保持验证
13
电源开关时序验证
核心概念 · 原理机制 · 实战要点
电源开关时序验证核心概念
14
UPF断言与属性规约
核心概念 · 原理机制 · 实战要点
UPF断言
15
低功耗验证环境搭建
核心概念 · 原理机制 · 实战要点
低功耗验证环境搭…核心概念
16
形式化验证工具与命令流程
核心概念 · 原理机制 · 实战要点
形式化验证工具命令流程
17
回归与覆盖率分析
核心概念 · 原理机制 · 实战要点
回归覆盖率分析
18
调试反例与失败分析
核心概念 · 原理机制 · 实战要点
调试反例失败分析
19
UPF形式化与动态仿真结合
核心概念 · 原理机制 · 实战要点
UPF形式化
20
层次化UPF验证策略
核心概念 · 原理机制 · 实战要点
UPF层次化
21
UPF版本演进与兼容性检查
核心概念 · 原理机制 · 实战要点
UPF版本演进
22
形式化验证的可扩展性与抽象技术
核心概念 · 原理机制 · 实战要点
形式化验证的可扩…抽象技术
23
多电源域MCU的UPF验证案例
核心概念 · 原理机制 · 实战要点
MCUUPF
24
Always-On域唤醒逻辑验证案例
核心概念 · 原理机制 · 实战要点
Always-On域唤醒逻辑验证案…
25
电源门控与备份寄存器验证案例
核心概念 · 原理机制 · 实战要点
电源门控备份寄存器验证案…
26
SoC复位与低功耗流程验证案例
核心概念 · 原理机制 · 实战要点
SoC复位
27
低功耗形式化验证常见误区
核心概念 · 原理机制 · 实战要点
低功耗形式化验证…核心概念
28
验证计划与项目管理
核心概念 · 原理机制 · 实战要点
验证计划项目管理
29
UPF形式化验证签收标准与最佳实践
核心概念 · 原理机制 · 实战要点
UPF形式化验证签收标…
30
课程总结与综合实践路径
核心概念 · 原理机制 · 实战要点
课程总结综合实践路径