Accelerating CDC Verification Closure on Gate-Level Designs Author(s): Anwesha Choudhury and Ashish Hari Location: United States Year: 2017 Type: Paper Format: pdf Download