Fast Sequential ATPG Based on Implicit State Enumeration.

Hyunwoo Cho Gary D. Hachtel Fabio Somenzi Fast Sequential ATPG Based on Implicit State Enumeration. 67-74 1991 conf/itc/1991 ITC db/conf/itc/itc1991.html#ChoHS91