Removal of redundancy in logic circuits under classification of undetectable faults | IEEE Conference Publication | IEEE Xplore