A Innovative Approach to Verify the SoC Integration using the Formal Property Verification

Author(s):
David Vincenzoni, Marcello Dusini