![](/img/cover-not-exists.png)
SAT-based ATPG using multilevel compatible don't-cares
Saluja, Nikhil, Gulati, Kanupriya, Khatri, Sunil PVolume:
13
Language:
english
Journal:
ACM Transactions on Design Automation of Electronic Systems
DOI:
10.1145/1344418.1344420
Date:
April, 2008
File:
PDF, 201 KB
english, 2008