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

Summary