cdc_verify_struct

The aim of this goal is to verify structural aspects of clock domain crossings. Review and fix each category of CDC problems separately. The violations can be debugged and fixed in the following order:

  1. Ensure that the setup is clean: analyze and fix violations reported by the following rules:

    2. Clock_info03a, Clock_info03b, Clock_info03c, Clock_info05, Clock_info05b, Clock_converge01, Ar_converge01, Reset_info09a, FalsePathSetup, Setup_library01, Ac_clockperiod03, Ac_resetvalue01, Clock_info15, Setup_port01, Setup_blackbox01, Reset_check03, Reset_check10, Reset_check11, Reset_check12, Ar_syncrstactive01 Ar_syncrstcombo01 Ar_syncrstload01 Ar_syncrstload02 Ar_syncrstpragma01 Ar_syncrstrtl01

  2. Analyze and fix the unsynchronized crossings reported by Ac_unsync01 and Ac_unsync02 rules
  3. Analyze and fix other clock and reset synchronization issues reported by the following rules:

    4. Clock_sync05, Clock_sync06, Ar_unsync01, Ar_asyncdeassert01, Reset_sync02, Reset_sync04

  4. Analyze and fix convergence issues reported by the following rules:

    5. Ac_conv01, Ac_conv02, Ac_conv03, Ac_conv04, Ac_coherency06, Ac_abstract_validation01, SGDC_abstract_mapping01