Mixed 01X-RSL-Encoding for fast and accurate ATPG with unknowns | IEEE Conference Publication | IEEE Xplore