Challenges and Novel Solutions for SoC Verification