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

CDC跨时钟域形式化验证实战

共计 30 章节
点击此处阅读海量试读课程：100+行业、1000+细分领域
01
CDC基础与跨时钟域设计挑战
核心概念 · 原理机制 · 实战要点
CDC跨时钟域设计挑战
02
亚稳态现象与MTBF计算
核心概念 · 原理机制 · 实战要点
MTBF亚稳态现象
03
同步器结构与适用场景
核心概念 · 原理机制 · 实战要点
同步器结构适用场景
04
CDC验证方法全景
仿真 · 静态检查与形式化验证：核心概念 · 原理机制
CDC验证方法全景
05
形式化验证基础
属性 · 断言与数学证明：核心概念 · 原理机制
形式化验证基础属性
06
CDC形式化验证工具原理
模型检查 · 状态空间与约束求解：核心概念 · 原理机制
CDC形式化验证工具原…
07
时钟域提取与划分
核心概念 · 原理机制 · 实战要点
时钟域提取划分
08
同步接口识别与验证单元划分
核心概念 · 原理机制 · 实战要点
同步接口识别验证单元划分
09
SVA与PSL属性语言核心
核心概念 · 原理机制 · 实战要点
SVAPSL
10
常用CDC断言与约束编写
核心概念 · 原理机制 · 实战要点
CDC常用
11
CDC形式化验证环境搭建
核心概念 · 原理机制 · 实战要点
CDC形式化验证环境搭…
12
同步器验证
从两级触发器到N级同步：核心概念 · 原理机制 · 实战要点
同步器验证从两级触发器到N…
13
握手协议与跨时钟域传递验证
核心概念 · 原理机制 · 实战要点
握手协议跨时钟域传递验证
14
异步FIFO的空满逻辑与指针同步验证
核心概念 · 原理机制 · 实战要点
FIFO异步
15
复位同步与复位域交叉形式化验证
核心概念 · 原理机制 · 实战要点
复位同步复位域交叉形式化…
16
时钟门控与动态时钟切换的CDC验证
核心概念 · 原理机制 · 实战要点
CDC时钟门控
17
多时钟域名同步策略与协议验证
核心概念 · 原理机制 · 实战要点
多时钟域名同步策…协议验证
18
状态空间约简、抽象与证明收敛
核心概念 · 原理机制 · 实战要点
状态空间约简抽象
19
反例解读与设计调试方法
核心概念 · 原理机制 · 实战要点
反例解读设计调试方法
20
CDC形式化验证与动态仿真互补流程
核心概念 · 原理机制 · 实战要点
CDC形式化验证
21
覆盖率与证明完整性度量
核心概念 · 原理机制 · 实战要点
覆盖率证明完整性度量
22
常见CDC设计错误模式与属性检查
核心概念 · 原理机制 · 实战要点
CDC常见
23
工具链集成
脚本化 · 回归与CI：核心概念 · 原理机制
工具链集成脚本化
24
基于断言的CDC验证IP管理
核心概念 · 原理机制 · 实战要点
CDCIP
25
SoC顶层与多子系统的CDC形式化验证
核心概念 · 原理机制 · 实战要点
SoCCDC
26
低功耗设计与电源域交叉的CDC验证
核心概念 · 原理机制 · 实战要点
CDC低功耗设计
27
可验证性设计与设计重写指南
核心概念 · 原理机制 · 实战要点
可验证性设计设计重写指南
28
CDC验证计划制定与工程管理
核心概念 · 原理机制 · 实战要点
CDC验证计划制定
29
业界标准与规范在CDC形式化中的实践
核心概念 · 原理机制 · 实战要点
CDC业界标准
30
完整实战案例
从环境搭建到证明收敛的全流程 · 原理机制 · 实战要点
完整实战案例从环境搭建到证明…