Systematic Speedup Techniques for Functional CDC Verification Closure

Author(s):
Sulabh Kumar Khare and Ashish Hari