Systematically Achieving CDC Verification Closure based on Coverage Models and Coverage Metrics Author(s): Ashish Hari and Yogesh Badaya Location: United States Year: 2012 Type: Paper Format: pdf Download