Using Formal Verification to Exhaustively Verify SoC Assemblies Author(s): Kenny Ranerup and Mark Handover Location: United States Year: 2013 Type: Paper Format: pdf Download
