Fast hardware-software coverification by optimistic execution of real processor | IEEE Conference Publication | IEEE Xplore