On Acceleration of SAT-Based ATPG for Industrial Designs | IEEE Journals & Magazine | IEEE Xplore