Redundancy identification/removal and test generation for sequential circuits using implicit state enumeration | IEEE Journals & Magazine | IEEE Xplore