Can SAT be used to Improve Sequential ATPG Methods?

Mukul R. Prasad, Michael S. Hsiao, Jawahar Jain

Browse the full VLSID paper archive.