Early HW/SW Co-Verification Using Virtual Platforms | IEEE Conference Publication | IEEE Xplore