Fast Sequential ATPG Based on Implicit State Enumeration.

Hyunwoo Cho, Gary D. Hachtel, Fabio Somenzi

Browse the full ITC paper archive.