Expediting the Code Coverage Closure Using Static Formal Techniques – A Proven Approach at Block and SoC Levels Author(s): Location: India Year: 2015 Type: Presentation Format: pdf Download