Dynamic fault grouping for PROOFS: a win for large sequential circuits | IEEE Conference Publication | IEEE Xplore