This white paper explores the debugging aspect of code coverage closure and how Questa CoverCheck’s ability of formal technology can automatically generate simulation exclusion files to improve code coverage results, while reducing the amount of time wasted trying to hit unreachable states.