4. 跨复位域传输问题：亚稳态、数据丢失、X态传播机制
本章学习任务：理解复位域跨域传输产生的核心故障——亚稳态、数据丢失与 X 态传播，掌握其触发条件、传播路径以及验证中的观察手段。
4.1 问题背景
在现代 SoC 中，多个时钟域与多个复位域并行工作。当信号从一个复位域穿越到另一个复位域时，如果两个复位域的复位释放时刻相对随机，接收端寄存器可能采样到不确定电平，进而导致亚稳态、数据丢失，甚至 X 态在逻辑网表中传播。传统的 CDC 验证主要关注时钟域，而复位域跨域（CRD）问题需要单独识别与约束。
4.2 核心概念
- 复位域（Reset Domain）：由同一个复位信号或同一组同步复位逻辑驱动的寄存器集合。
- 跨复位域传输（Cross-Reset-Domain Transfer, CRD）：信号从一个复位域传输到另一个复位域，且复位释放时序没有同步保证。
- 亚稳态（Metastability）：寄存器采样时违反建立/保持时间，输出处于不确定状态，无法立即收敛到有效逻辑电平。
- 数据丢失（Data Loss）：发送端信号在接收端采样窗口内发生变化，导致接收值错误或丢失。
- X 态传播（X-Propagation）：亚稳态或未初始化信号在仿真中表现为 X，并通过组合逻辑向后级传播，导致验证失败或功能异常。
学习提示：跨复位域问题的本质是“复位释放异步”导致寄存器采样窗口不确定，与时钟域跨域问题中的“时钟沿相对相位不确定”高度相似，但复位域还涉及复位状态的优先级与恢复/移除时间检查。
4.3 原理机制
- 亚稳态的产生：接收端寄存器在时钟沿附近收到数据变化或复位释放信号，建立/保持时间被违反，输出进入亚稳态。
- 数据丢失的路径：发送端在复位释放后的短暂窗口内更新数据，接收端恰好在该窗口采样，导致采到旧值或中间值。
- X 态传播的原因：仿真器中，未复位寄存器初值为 X；亚稳态输出无法解析为 0/1 时也会被建模为 X，X 会沿数据通路传播。
4.4 跨复位域验证流程步骤
- 步骤 1：提取复位域拓扑——识别所有复位源、复位树、寄存器所属复位域。
- 步骤 2：标记跨复位域路径——分析寄存器之间的数据流，标注起点和终点复位域。
- 步骤 3：判断复位释放关系——确认复位释放是否异步、是否相对随机。
- 步骤 4：检查同步保护机制——是否存在复位同步器、握手机制、数据保持寄存器。
- 步骤 5：建立断言与 X 态检查——在关键跨域路径上监控数据有效性和 X 传播。
4.5 案例说明
模块 A 用 rst_a_n，模块 B 用 rst_b_n，两个复位独立产生、释放时间随机。A 的输出信号 a_data 直接接入 B 的输入 b_data。当 rst_a_n 释放后，A 立刻更新 a_data；而 B 的复位释放晚几个周期，恰好在下一次采样边沿附近收到变化，导致 B 内部寄存器采样亚稳态，仿真中 b_data 出现 X，并传播到后续状态机。
典型检测代码示例：
property p_no_x_on_bus;
@(posedge clk_b) disable iff (!rst_b_n)
!$isunknown(b_data);
endproperty
assert property(p_no_x_on_bus)
else $error("X detected on cross-reset-domain bus");
注意：即使仿真中没有出现 X，也不代表硬件不会亚稳态。仿真 X 只是亚稳态的一个悲观近似，真正硬件可能收敛到随机但合法的 0/1，依然可能导致功能错误。
4.6 表格总结
| 问题类型 | 触发场景 | 典型结果 | 缓解方法 |
|---|---|---|---|
| 亚稳态 | 跨域信号在接收时钟沿附近变化 | 输出电平不确定，传播延迟增加 | 两级/三级同步器，减小同步器时钟频率 |
| 数据丢失 | 采样窗口内数据变化，且无握手保护 | 接收值错误或丢失 | 握手协议、FIFO、数据保持寄存器 |
| X 态传播 | 未复位寄存器输出 X，或亚稳态建模为 X | 功能仿真失败，门级 X 传播 | 仿真前初始化、X-Propagation 约束、复位同步释放 |
4.7 误区提醒
- 误区一：只要复位同步器存在，跨复位域就没有问题。同步器只解决单个控制信号的亚稳态，对于数据总线还需要协调数据有效窗口。
- 误区二：仿真不报 X 就代表安全。仿真 X 受初始化和建模影响，必须主动检查接收窗口。
- 误区三：只检查时钟域，不检查复位域。即使时钟同源，复位释放不同步也会导致跨域路径失效。
- 误区四：认为异步复位信号只需要看复位树。还需要关注复位释放后的数据通路时序。
4.8 实践清单
- ✔ 列出所有复位源，并命名全部复位域。
- ✔ 为每个跨复位域路径建立表格，标记起点、终点、复位释放关系。
- ✔ 检查是否有同步器、握手、FIFO 等保护机制。
- ✔ 编写断言检查关键数据总线无 X 传播。
- ✔ 运行随机复位释放时序的仿真，覆盖边界窗口。
- ✔ 在门级仿真中开启 X-Propagation 传播检查。
- ✔ 记录所有 CRD 违例，并跟踪修复后复测。