基于spyglass同步设计分析和静态验证.pdf

本论文通过分析CDC传输中的亚稳态机理，总结了各种同步设计的优劣以及传统验证方法在CDC检查中的弊端，提出并搭建了一套基于SpyGlass的CDC静态验证流程