Mukul R. Prasad Philip Chong Kurt Keutzer Why is ATPG Easy? 22-28 1999 DAC http://doi.acm.org/10.1145/309847.309857 db/conf/dac/dac99.html#PrasadCK99