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