跨时钟域验证为何还要看亚稳态：信号采到之后不一定立即有确定值

跨时钟域的资料中，“接收端采到了信号”与“接收端得到了可确定的逻辑值”，不是完全相同的表述。前者谈采样动作，后者还涉及信号变化与接收时钟的时间关系。这一区分解释了为什么CDC验证的讨论不能只停在连接是否存在。

Siemens Verification Academy的《Five Steps to Quality CDC Verification》网页，在引言中将结构验证、协议验证和亚稳态验证并列为有效CDC方法的组成部分。[1] 页面标注2019年3月更新，本次于2026年10月9日读取。本文依据网页完整引言与Metastability段落，不宣称已经读过页面另行提供的下载论文，也不转述未读论文里的五个具体步骤。

原文用单比特跨域信号解释问题：它相对于接收寄存器的时钟，可以在任意时刻发生变化。如果变化落在寄存器的建立时间或保持时间内，硬件寄存器可能输出介于逻辑0与逻辑1对应电平之间的电压，这种情形称为亚稳态。这里的“可能”很关键；原文没有说每次跨域传输必然出现亚稳态。

亚稳态输出最终会稳定为0或1，但原文同时强调，最终落在哪一个值上，在实际意义上不可预测。因此，“后来稳定了”不能倒推出“采样当时已经取得了预期值”。这两个判断处于不同时间位置，把它们压缩成一句“信号正常到达”，就会掩盖资料正在讨论的时间不确定性。

结构、协议与亚稳态三个名称也提示了阅读验证结论时的层次。本文对这段话的理解是，一项结果必须保留自己实际覆盖的问题，不能因为报告提到其中一项，就在摘要中扩写为其余项目全部完成。比如一份材料只有跨域结构方面的结果，却没有协议和亚稳态相关证据，读者能确认的是该材料报告的范围，不能补写整个CDC验证已经闭环。

这对集成电路设计与验证之间的沟通有具体用途。设计说明中的跨域信号、验证计划里的检查范围、结果材料中实际报告的结论，应该能对应到同一个问题。若“已经验证”只剩四个字，后续人员便无法知道它针对结构、协议，还是信号变化时的寄存器行为。这个信息缺口不是增加一个工具名称就能消除的。

本篇只解释原文给出的单比特采样情形与验证范围，不把它延伸为多比特总线的完整传输方案。是否采用某种同步结构、需要几级寄存器，以及故障间隔如何评估，都没有在本文中给出设计答案。网页的机制说明可以帮助读懂CDC资料，但不会自动成为某个芯片已经通过验证的证明。