Multilevel reverse-carry computation for comparison and for sign and overflow detection in addition | IEEE Conference Publication | IEEE Xplore