CDC中最重要的问题是metastability问题。

加入Synchronizer来进行异步时钟的同步，两级的Sync，第二级仍然会出现亚稳态的概率由MTBF决定。

MTBF：mean time between fail，数值越大越好，MTBF=1/(Fclk*Fdata*X)。

在频率越高的情况下，MTBF越小，而且clock周期也短，此时可以考虑4级Sync。

在sending clock domain，先将数据用reg打一拍，消除glitch，而且减小了Fdata的频率，这样做CDC时，效果会更好。

从一个slow clock domain到一个fast clock domain，通常不会出现问题。

从一个fast clock domain到一个slow clock domain中时，可能会出现signal没有被采样到的情况。

在这样的情况下，可以：

1)open-loop；

如果要确保信号能被下一级未经sync采样到，信号必须stay 至少3个destination clock。

如果下级有做sync处理，信号stay1.5个destination clock即可。

2)close-loop；

由于req/ack的两级同步处理，会导致通信效率不高。

多比特(Multi-bit)的CDC处理：

1)尽量减少到1bit来进行处理；

2)使用不同的load signal来进行传输；

3)使用gray code；

4)FIFO；

由于sync的存在，第一级的sync很可能造成setup/hold的violation，所以此处在simulation的过程中

应该关掉check。

几种方法：

1)关掉timing check。

2)将lib中的FF的setup和hold time的值都改为0。

3)copy modify FF，指定sync单元使用修改过的FF。

4)手动或脚本修改sdf中指定路径的setup和hold的值。

5)使用多个sdf文件，在一个文件中修改，在分别读入两个sdf文件，用后一个覆盖前一个。

6)使用verdor提供的支持synchronizer的cell，0-setup，0-hold。

simulation model的建立

其中synthesis控制DC综合的流程。