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

Location:
India
Year:
2015
Type:
Presentation
Format:
pdf