Efficient SAT-based combinational ATPG using multi-level don't-cares.

Nikhil Saluja, Sunil P. Khatri

Browse the full ITC paper archive.