Functional verifications for SoC software/hardware co-design: From virtual platform to physical platform | IEEE Conference Publication | IEEE Xplore