An Exploration of ATPG Methods for Redacted IP and Reconfigurable Hardware | IEEE Conference Publication | IEEE Xplore