Accelerating CDC Verification Closure on Gate-Level Designs Author(s): Anwesha Choudhury and Ashish Hari Download