Paper Session 8: Advanced Techniques for Enabling Gate-level CDC Verification Closure Author(s): Gunjan Jain, Kurt Takara, and Yuxin You Download