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

Priyank Kalla, Maciej J. Ciesielski

Browse the full ITC paper archive.