第1章 课程导学：RDC验证背景、核心挑战、学习路径

现代SoC设计广泛采用异步复位和多电源域架构，复位信号在跨时钟域、跨电源域传播时，如果释放时刻不受控，会触发寄存器亚稳态。RDC（Reset Domain Crossing，复位域跨域）验证，就是围绕复位信号跨域传播的验证技术，专门用于发现和收敛这类风险。

1. 问题背景

芯片规模持续增长，多电源域、多时钟域架构成为常态。复位信号不再只停留在单一复位域内，而是需要穿越不同时钟域、不同电源域到达目标寄存器。传统验证更关注CDC（时钟域跨域）问题，却容易忽略复位释放带来的亚稳态与恢复/移除时间风险。

RDC验证的目标：

• 确认异步复位释放满足同步要求；
• 发现复位信号与时钟信号之间的竞争风险；
• 确保跨域数据路径在复位释放期间不会采样到不确定值；
• 为复位架构设计与复位同步器插入提供依据。

2. 核心概念

• RDC：Reset Domain Crossing，复位域跨域；指复位信号从一个复位域传递到另一个复位域的过程。
• 复位域：由同一个异步复位信号（或其派生信号）驱动的寄存器集合。
• 异步复位：不依赖时钟沿、立即生效的复位方式；释放时需同步处理。
• 复位同步释放：通过复位同步器让复位释放时刻与目标时钟沿对齐。

RDC验证学习框架：