The equivalence of twos-complement addition and the conversion of redundant-binary to twos-complement numbers | IEEE Journals & Magazine | IEEE Xplore