An approach for designing self-checking logic using residue codes | IEEE Conference Publication | IEEE Xplore