Seamless Co-Verification of ARM Processor-based SoCs