Sign in
A Highly Fault-Efficient SAT-Based ATPG Flow.
Stephan Eggersglüß
Rolf Drechsler
Published in:
IEEE Des. Test Comput. (2012)
Keyphrases
</>
computationally efficient
fault diagnosis
computationally expensive
search engine
cost effective
answer set programming
fault detection