TG-PRO: A new model for SAT-based ATPG | IEEE Conference Publication | IEEE Xplore