Heterogeneous SoC Design and Verification