Exploiting coarse-grain verification parallelism for power-efficient fault tolerance | IEEE Conference Publication | IEEE Xplore