在SoC设计中，时钟域穿越（CDC）问题至关重要，涉及到数百个时钟域和数百万条异步数据跨越。Glitch问题主要在网表级仿真中被关注。CDC的挑战包括STA不检查异步路径、路径常被视为虚假路径、某些问题仅在后仿真时暴露，以及RTL仿真难以发现错误。主要的CDC问题包括 metastability、reconvergence和数据保持问题。Spyglass工具能自动进行形式验证，检测fast-slow CDC穿越中的数据丢失，并提出同步方案、重置同步、异步桥接等解决策略。
SoC中会有着几百的clock domains，millions的async data crossing。
Glitch等cdc问题是netlist level simulation的主要目的。
CDC的困难点：
1)STA不会进行asynchronous的检查，只会进行synchronous的检查;
2)Path across clock domain通常会被设置为false path，不进行check;
3)CDC带来的一些问题只有在进行post-sim的时候，才会暴露出来;
在RTL level simulation中，无法发现问题。
4)CDC带有一定的lucky性质，simulation只能检查出一部分的error;
典型的CDC问题：
1)Metastability：异步相位的必然结果;
2-sync cell会导致一个clock cycle的uncertainty；
metastability可能会导致data-coherency和re-covergence的问题
最低0.47元/天 解锁文章
2497
被折叠的 条评论
为什么被折叠?
到【灌水乐园】发言
