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