其他分享
首页 > 其他分享> > VC Spyglass CDC(四)CDC检查的流程

VC Spyglass CDC(四)CDC检查的流程

作者:互联网

Read Design

在这里插入图片描述

CDC Setup

支持自动推断clock/reset,不一定准确,需要double check。
create_generated_clock用于生成时钟。
在这里插入图片描述

CDC Check

CDC check分为四大类,Integrity Synchronization Convergence Glitch
在这里插入图片描述
下面对每一类列举一个典型问题

CDC Setup Violations Example

create_reset时虽然指明了clock,也需要set_input_delay明确指明reset属于哪个clock domain
在这里插入图片描述
对于clock mux的约束,可以采用mulit mode的形式,通过set_case_analysis区别。
在这里插入图片描述

CDC Integrity Violations Example

clock gating采用glitch-free的结构。
在这里插入图片描述

CDC Reset Synchronization Violations Example

在这里插入图片描述

CDC Synchronization Example

在这里插入图片描述
在这里插入图片描述
在这里插入图片描述
在这里插入图片描述

CDC Convergence Violations Example

在这里插入图片描述

CDC Glitch Violations Example

在这里插入图片描述

在这里插入图片描述
在这里插入图片描述

标签:reset,VC,clock,CDC,Synchronization,Violations,Example,Spyglass
来源: https://blog.csdn.net/Holden_Liu/article/details/121121290