DocumentCode
3365858
Title
Higher radix on-line division
Author
Trivedi, Kishor S. ; Rusnak, Joseph G.
Author_Institution
Dept. of Comput. Sci., Duke Univ., Durham, NC, USA
fYear
1978
fDate
25-27 Oct. 1978
Firstpage
164
Lastpage
174
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;
fLanguage
English
Publisher
ieee
Conference_Titel
Computer Arithmetic (ARITH), 1978 IEEE 4th Symposium on
Conference_Location
Santa Monica, CA
Type
conf
DOI
10.1109/ARITH.1978.6155759
Filename
6155759
Link To Document