Systematic Speedup Techniques for Functional CDC Verification Closure Author(s): Sulabh Kumar Khare and Ashish Hari Download