Bring IP Verification Closer to SoC Scalable Methods to Bridge the Gap Between IP and SoC Verification