Paper Session 8: Advanced Techniques for Enabling Gate-level CDC Verification Closure

Author(s):
Gunjan Jain, Kurt Takara, and Yuxin You
Location:
China
Year:
2021
Type:
Paper
Format:
pdf