Effective techniques for high-level ATPG | IEEE Conference Publication | IEEE Xplore