> ## cdc_setup_check

> The aim of this goal is to check setup correctness and completeness. To avoid false analysis due to incorrect/incomplete setup, the user should fix all violations reported during this step. The violations can be debugged and fixed in the following order:

> 1. Analyze and fix clock setup issues reported by the following rules:

> Clock_info03a, Clock_info03b, Clock_info03c, Clock_info05, Clock_info05b, Clock_converge01, Ar_converge01, FalsePathSetup, Setup_library01

> 2. Analyze and fix reset setup issues reported by the following rules:

> Reset_info09a, Ac_resetvalue01, Ar_syncrst_setupcheck01

> 3. Analyze and fix basic issues in reset logic reported by the following rules:

> Reset_check03, Reset_check10, Reset_check11, Reset_check12

> 4. Review report and SGDC file generated by rules Clock_info15, Setup_port01, Setup_blackbox01 to ensure all IOs are properly constrained
> 5. Review and prune the quasi_static constraints in SGDC file generated by Setup_quasi_static01 rule and provide the SGDC file in CDC verification goals