A comprehensive approach to the partial scan problem using implicit state enumeration | IEEE Journals & Magazine | IEEE Xplore