Sponsored Content
Achieving Faster Reset Verification Closure with Intelligent Reset Domain Crossings Detection
Nov. 12, 2020
In this paper, we present an advanced methodology as part of a static verification tool that significantly reduces designer effort in completing RDC verification by eliminating noise from RDC results.