Estimation of error detection probability and latency of checking methods for a given circuit under check | IEEE Conference Publication | IEEE Xplore