基于SpyGlass的同步设计分析与静态验证.pdf

随着数字系统复杂度的提高，系统芯片中集成的模块数量增加。各模块通常 工作在不同的时钟频率下，对各系统之间的数据CDC（ClockDomainCrossing） 通信需要进行同步设计。对于不同时钟域和电压域的情况，对CDC同步设计的 要求不同。对于这些CDC传输路径以及同步设计的检查验证，在整个设计流程 中的作用日渐凸显。目前还没有一套比较成熟、完善的验证手段，能在设计早期 RTL级就能完成CDC的验证工作。