Coverage evaluation of post-silicon validation tests with virtual prototypes | IEEE Conference Publication | IEEE Xplore