SAT-based ATPG using multilevel compatible don't-cares | ACM Transactions on Design Automation of Electronic Systems (TODAES) | DeepDyve