Exhaustive test pattern generation using cyclic codes | IEEE Journals & Magazine | IEEE Xplore