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

Read Design

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

CDC Setup

支持自动推断clock/reset,不一定准确,需要double check。
create_generated_clock用于生成时钟。
VC Spyglass CDC(四)CDC检查的流程

CDC Check

CDC check分为四大类,Integrity Synchronization Convergence Glitch
VC Spyglass CDC(四)CDC检查的流程
下面对每一类列举一个典型问题

CDC Setup Violations Example

create_reset时虽然指明了clock,也需要set_input_delay明确指明reset属于哪个clock domain
VC Spyglass CDC(四)CDC检查的流程
对于clock mux的约束,可以采用mulit mode的形式,通过set_case_analysis区别。
VC Spyglass CDC(四)CDC检查的流程

CDC Integrity Violations Example

clock gating采用glitch-free的结构。
VC Spyglass CDC(四)CDC检查的流程

CDC Reset Synchronization Violations Example

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

CDC Synchronization Example

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

CDC Convergence Violations Example

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

CDC Glitch Violations Example

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

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

上一篇:【报告分享】2021 00后生活方式洞察报告-人民网&TMI&CDC(附下载)


下一篇:能源行业转型,人工智能将是下一个机遇