Scalable Simulation-Based Verification of SystemC-Based Virtual Prototypes | IEEE Conference Publication | IEEE Xplore