Parallelization of unit propagation algorithm for SAT-based ATPG of digital circuits | IEEE Conference Publication | IEEE Xplore