Efficient embedded SoC hardware/software codesign using virtual platform | IEEE Conference Publication | IEEE Xplore