High-performance divider using redundant binary representation | IEEE Conference Publication | IEEE Xplore