An Automated Systematic CDC Verification Methodology based on SDC Setup