Achieving Faster Reset Verification Closure with Intelligent Reset Domain Crossings Detection

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.