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

Author(s):
Ashish Hari and Yogesh Badaya