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