RDC复位域跨域验证技术教程 - 第2节

2.1 为什么先理解复位？从验证视角看“起点稳定性”

在跨时钟域（CDC）验证中，复位是设计进入确定性初始状态的首要前提；而在复位域跨域（RDC）验证中，需要额外确认：跨域路径两端是否处于同一复位域？复位释放顺序是否正确？是否存在异步复位导致的亚稳态传播？这些问题，都建立在“同步复位 vs 异步复位”和“复位信号特性”这两个基础之上。

2.2 核心概念：三种基础复位方式

2.3 原理机制：复位信号在跨域中的关键特性

2.3.1 同步复位：与时钟强绑定

同步复位逻辑相当于把复位当作一种特殊的“数据输入”，其动作必须出现在时钟有效沿。因此复位信号与时钟之间天然存在时序关系（建立保持），在CDC验证中通常不会引入复位引入的亚稳态；但复位信号若来自异步时钟域，则必须先经过同步器，否则会产生“数据沿”违规。

2.3.2 异步复位：置位即时、释放危险

异步复位的主要问题不在“置位”，而在“释放”。如果复位释放时刻靠近时钟有效沿，触发器输出可能进入亚稳态——这种亚稳态通过复位树传播到多个触发器，会造成大范围数据不稳定。

// 异步复位同步释放（推荐写法）
always @(posedge clk or negedge rst_n) begin
    if (!rst_n) begin
        rst_sync_1 <= 1'b0;
        rst_sync_2 <= 1'b0;
    end else begin
        rst_sync_1 <= 1'b1;
        rst_sync_2 <= rst_sync_1;
    end
end
assign rst_sync_n = rst_sync_2;

2.3.3 复位信号的核心参数

2.4 复位策略流程图：如何选择与验证

下面这张图给出 RDC 验证中的复位策略判断路径：从复位源出发，识别复位类型，明确是否异步释放，并最终落入验证方法。

2.5 案例说明：异步复位同步释放典型场景

假设一个子系统同时使用 clk_a 和 clk_b 两个异步时钟，全局复位 rst_n 为异步复位源。设计上为每个时钟域分别做 rst_sync 同步释放，模块内部的同步逻辑代码已在上文给出。RDC验证时需要重点检查：

1. clk_a 域产生的复位同步器释放沿，是否被 clk_b 域逻辑直接使用；
2. 两域复位释放先后顺序是否影响跨域握手信号（例如 ready/valid 被复位释放后过早置位）；
3. 复位释放沿是否通过组合逻辑形成额外 PLL 门控或时钟门控条件。

2.6 同步复位与异步复位：综合对比表

2.7 误区提醒

2.8 实践清单：复位基础检查要点

• 【识别】列出所有复位源，标注是否为异步复位；
• 【检查】为每个时钟域确认是否存在复位同步器；
• 【验证】检查复位释放路径上的同步器是否使用目标时钟域的时钟；
• 【约束】为每个异步复位配置恢复/移除时间断言；
• 【交叉】确认跨异步时钟域的握手信号在复位释放后的时序是否满足协议；
• 【报告】获取 RDC 检查报告，确认复位树跨域路径全部覆盖。