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