Soft error mitigation through selection of noninvert implication paths | IEEE Conference Publication | IEEE Xplore