跨时钟域同步概述
跨时钟域同步是数字电路设计中处理不同时钟域之间信号传输的关键技术。当信号从一个时钟域传递到另一个异步时钟域时，可能产生亚稳态，导致系统故障。双触发器同步器和握手机制是两种常用的解决方案。
双触发器同步器
双触发器同步器通过两级寄存器级联来降低亚稳态概率。第一级寄存器可能进入亚稳态，但第二级寄存器有整个时钟周期的时间让信号稳定，从而输出可靠数据。这种结构简单、资源占用少，适用于单比特控制信号的跨时钟域传输。
握手机制
握手机制通过请求（req）和应答（ack）信号的四段式握手，确保数据被可靠接收。发送端发出请求，接收端同步请求后返回应答，发送端收到应答后撤销请求，完成一次传输。该机制适用于多比特数据或需要确认的场景，但吞吐量受限于往返延迟。
设计要点
双触发器同步器要求两级寄存器之间不能插入任何组合逻辑，否则会降低平均无故障时间（MTBF）。握手机制中，应答信号必须通过双触发器同步回发送域，避免死锁。对于多比特数据，应使用格雷码或异步FIFO，而非直接使用双触发器同步。
时序约束
在Vivado或Quartus中，需对跨时钟域路径设置异步时钟组约束（如set_clock_groups -asynchronous），或使用set_false_path，以避免时序分析工具误报违规。同时，应使用report_cdc命令检查同步器结构是否符合要求。
验证方法
通过仿真注入异步时钟域数据，观察同步后信号是否稳定。重点检查双触发器输出延迟2~3个目标时钟周期且无毛刺，握手机制中req和ack交替无死锁。上板验证可使用ILA捕获跨时钟域信号，确认无亚稳态传播。
常见问题与排查
- 双触发器之间插入了组合逻辑：保持直接级联。
- 未添加异步约束导致时序违规：添加set_clock_groups -async。
- 握手机制中应答未同步回发送域：添加双触发器同步器。
- 多比特数据直接用双触发器同步：改用格雷码或握手机制。
扩展方向
可参数化同步器级数以适应不同亚稳态要求；使用异步FIFO实现高吞吐多比特数据跨时钟域传输；加入断言或形式验证工具（如JasperGold）自动验证CDC路径安全性；根据工艺参数计算MTBF，评估是否需要三级同步器。
