Systematic Speedup Techniques for Functional CDC Verification Closure Author(s): Sulabh Kumar Khare and Ashish Hari Location: United States Year: 2017 Type: Paper