Self-checking code-disjoint carry-select adder with low area overhead by use of add1-circuits | IEEE Conference Publication | IEEE Xplore