SoC Verification Based on IP Reuse Methodologies