A floating-point divider using redundant binary circuits and an asynchronous clock scheme | IEEE Conference Publication | IEEE Xplore