A modulo p checked self-checking carry select adder | IEEE Conference Publication | IEEE Xplore