Seamless SoC Verification Using Virtual Platforms: An Industrial Case Study | IEEE Conference Publication | IEEE Xplore