Code coverage is a much-needed metric in most modern-day RTL design flows and coverage closure is a key step in any RTL design and verification process. It helps teams to ensure that all RTL code written is indeed exercised and verified prior to tape-out. One of the challenges in coverage closure is the time taken to get to 100% with potential waivers/exclusions. Traditionally, teams have deployed many RTL designers to review each uncovered item, to ensure it is a genuine hole and can be safely excluded. This process is expensive, time-consuming, and is prone to human errors. This is where Questa Increase Coverage is useful. It flags code coverage items that are difficult to reach by formal techniques and haven’t been hit in simulation, thus providing a valuable measure of verification complexity. This guides engineers to make their designs more easily verifiable.