A fast untestability proof for SAT-based ATPG | IEEE Conference Publication | IEEE Xplore