Using Formal Verification to Exhaustively Verify SoC Assemblies Author(s): Kenny Ranerup and Mark Handover Download
