New procedures to identify redundant stuck-at faults and removal of redundant logic | IEEE Conference Publication | IEEE Xplore