An Exploration of ATPG Methods for Redacted IP and Reconfigurable Hardware