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