Accelerating CDC Verification Closure on Gate-Level Designs

Author(s):
Anwesha Choudhury and Ashish Hari