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

Nikhil Saluja Sunil P. Khatri

Published in: ITC (2005)

Keyphrases

computationally efficient
orders of magnitude
cost effective
computationally expensive
constraint programming
multi layer