A comprehensive approach to the partial scan problem using implicit state enumeration