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的结构。