A Design-for-Verification Technique for Functional Pattern Reduction. - Liu, Chien-Nan Jimmy; Chen, I-Ling; Jou, Jing-Yang (IEEE Des. Test Comput., 2003)