Expediting the Code Coverage Closure Using Static Formal Techniques – A Proven Approach at Block and SoC Levels