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