VIP20

本课程属于：046-数字IC形式化验证与EDA验证 芯片设计与FPGA · 共 20 门相关课程，组合学习更完整。

查看所属VIP全部课程 →

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

RDC复位域跨域验证技术教程

共计 30 章节

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

RDC验证背景 · 核心挑战 · 学习路径

课程导学RDC

同步复位与异步复位 · 复位信号特性

复位基础同步复位

复位域划分

复位域定义 · 复位树结构 · 同源异源复位

复位域划分复位域定义

跨复位域传输问题

亚稳态 · 数据丢失 · X态传播机制

跨复位域传输问题亚稳态

RDC与CDC关系

时钟域交叉与复位域交叉的协同分析

复位同步器设计

异步复位同步释放原理与实现

复位同步器设计异步复位同步释放…

复位断言与监测

SVA断言 · 复位相关属性 · 验证IP

复位断言监测

RDC静态检查

跨域路径识别 · 违规报告与静态分析流程

RDC静态检查

形式化验证在RDC中的应用

属性证明 · 模型检验 · 等价性比对

RDC形式化验证

仿真验证策略

定向测试 · 随机激励 · 复位序列生成

仿真验证策略定向测试

复位域与低功耗交互

隔离 · 保持 · 电平转换与复位顺序

复位域低功耗交互

多时钟多复位SoC验证

多域组合场景 · 全局与局部复位

SoC多时钟多复位

复位域验证计划制定

功能点分解 · 覆盖模型 · 优先级排列

复位域验证计划制…功能点分解

RDC验证环境搭建

UVM结构 · 复位代理 · 监控器与参考模型

RDC验证环境搭建

寄存器复位验证

复位值检查 · 释放时序 · 边界场景

寄存器复位验证复位值检查

存储器和IP复位验证

RAM初始化 · IP复位要求 · 集成方法

软硬件复位协同验证

复位源分类 · 可编程复位控制器测试

软硬件复位协同验…复位源分类

可靠复位释放流程

握手协议 · 状态机对齐 · 数据同步

可靠复位释放流程握手协议

RDC同步器库选择

标准单元 · 同步器时序约束 · 鲁棒性

RDC同步器库选择

仿真约束与配置

X态传播 · 复位时序约束 · 仿真加速

仿真约束配置

RDC覆盖率度量

功能覆盖率 · 代码覆盖率 · 收敛指标

RDC覆盖率度量

RDC调试技术

波形分析 · 根因定位 · 常见调试技巧

RDC调试技术

RDC回归验证策略

持续集成 · 回归环境 · 失败分析

RDC回归验证策略

RDC验证自动化

脚本 · 工具链集成 · 报告自动生成

RDC验证自动化

基于UPF的复位域验证

电源域与复位域交互 · UPF约束

RDC验证在SoC流程中的位置

前端验证 · 后端签核 · DFT衔接

异步复位同步释放模块的完整验证

案例实战1异步复位同步释放…

多复位域桥接模块的验证与调试

案例实战2多复位域桥接模块…

RDC验证常见误区

初始X态 · 复位脉冲 · 多周期路径问题

RDC验证常见误区

课程总结与进阶

RDC签核清单 · 工具生态 · 学习路线

课程总结进阶