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