Evaluating the effectiveness of D-chains in SAT-based ATPG | IEEE Conference Publication | IEEE Xplore