Systematically Achieving CDC Verification Closure based on Coverage Models and Coverage Metrics