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:

    2. 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:

    3. Reset_info09a, Ac_resetvalue01, Ar_syncrst_setupcheck01

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

    4. 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