Title :
Higher radix on-line division
Author :
Trivedi, Kishor S. ; Rusnak, Joseph G.
Author_Institution :
Dept. of Comput. Sci., Duke Univ., Durham, NC, USA
Abstract :
We present a formal proof of correctness of the on-line division algorithm specified in an earlier paper [1]. We also derive two radix 4 on-line division algorithms, with non-redundant and redundant operands respectively.
Keywords :
digital arithmetic; formal languages; theorem proving; formal proof; nonredundant operand; radix online division algorithm; redundant operand; Algorithm design and analysis; Approximation methods; Complexity theory; Computer architecture; Delay; Redundancy; Transforms;
Conference_Titel :
Computer Arithmetic (ARITH), 1978 IEEE 4th Symposium on
Conference_Location :
Santa Monica, CA
DOI :
10.1109/ARITH.1978.6155759
