A Highly Fault-Efficient SAT-Based ATPG Flow | IEEE Journals & Magazine | IEEE Xplore