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

AI芯片与SoC形式化验证方法

共计 30 章节
点击此处阅读海量试读课程：100+行业、1000+细分领域
01
形式化验证概述
核心概念 · 原理机制 · 实战要点
形式化验证概述核心概念
02
命题逻辑与时序逻辑
核心概念 · 原理机制 · 实战要点
命题逻辑时序逻辑
03
模型检查基础
核心概念 · 原理机制 · 实战要点
模型检查基础核心概念
04
属性断言
核心概念 · 原理机制 · 实战要点
属性断言核心概念
05
断言规范语言SVA
核心概念 · 原理机制 · 实战要点
SVA断言规范语言
06
形式化验证工具与流程
核心概念 · 原理机制 · 实战要点
形式化验证工具流程
07
SoC架构与AI芯片设计基础
核心概念 · 原理机制 · 实战要点
SoCAI
08
形式化验证计划制定
核心概念 · 原理机制 · 实战要点
形式化验证计划制…核心概念
09
基于断言的验证IP开发
核心概念 · 原理机制 · 实战要点
IP基于断言的验证
10
属性综合与可达性分析
核心概念 · 原理机制 · 实战要点
属性综合可达性分析
11
数据通路验证
核心概念 · 原理机制 · 实战要点
数据通路验证核心概念
12
控制逻辑验证
核心概念 · 原理机制 · 实战要点
控制逻辑验证核心概念
13
存储与FIFO验证
核心概念 · 原理机制 · 实战要点
FIFO存储
14
流水线一致性验证
核心概念 · 原理机制 · 实战要点
流水线一致性验证核心概念
15
死锁与活锁验证
核心概念 · 原理机制 · 实战要点
死锁活锁验证
16
时钟域交叉（CDC）验证
核心概念 · 原理机制 · 实战要点
CDC时钟域交叉
17
复位设计验证
核心概念 · 原理机制 · 实战要点
复位设计验证核心概念
18
接口协议形式化验证（AMBA/AXI）
核心概念 · 原理机制 · 实战要点
AMBA/AXI接口协议形式化验…
19
NoC互连验证
核心概念 · 原理机制 · 实战要点
NoC互连验证
20
AI算子形式化验证
核心概念 · 原理机制 · 实战要点
AI算子形式化验证
21
浮点与定点计算验证
核心概念 · 原理机制 · 实战要点
浮点定点计算验证
22
AI加速器内存系统验证
核心概念 · 原理机制 · 实战要点
AI加速器内存系统验…
23
安全属性验证
核心概念 · 原理机制 · 实战要点
安全属性验证核心概念
24
低功耗设计形式化验证
核心概念 · 原理机制 · 实战要点
低功耗设计形式化…核心概念
25
等价性检查
核心概念 · 原理机制 · 实战要点
等价性检查核心概念
26
FPGA原型与形式化验证
核心概念 · 原理机制 · 实战要点
FPGA原型
27
形式化验证与动态仿真结合
核心概念 · 原理机制 · 实战要点
形式化验证动态仿真结合
28
形式化验证覆盖率
核心概念 · 原理机制 · 实战要点
形式化验证覆盖率核心概念
29
形式化验证调试与分析方法
核心概念 · 原理机制 · 实战要点
形式化验证调试分析方法
30
大规模SoC形式化验证实战项目
核心概念 · 原理机制 · 实战要点
SoC大规模