Functional verifications for SoC software/hardware co-design: From virtual platform to physical platform. - Lin, Yi-Li; Su, Alvin W. Y. (2011)