A technique for modular design of self-checking carry-select adder | IEEE Conference Publication | IEEE Xplore