A Innovative Approach to Verify the SoC Integration using the Formal Property Verification Author(s): David Vincenzoni, Marcello Dusini Download