Can SAT be used to Improve Sequential ATPG Methods?

Mukul R. Prasad Michael S. Hsiao Jawahar Jain

Published in: VLSI Design (2004)

Keyphrases

computer vision
preprocessing
feature selection
data structure
data mining techniques
qualitative and quantitative
practical problems