Using Formal Verification to Exhaustively Verify SoC Assemblies

Author(s):
Mark Handover and Kenny Ranerup
Location:
United States
Year:
2013
Type:
Presentation
Format:
pdf