Higher radix on-line division

1978 IEEE 4th Symposium onomputer Arithmetic (ARITH) Pub Date : 1978-10-01 DOI:10.1109/ARITH.1978.6155759

Kishor S. Trivedi, Joseph G. Rusnak

引用次数: 22

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.

查看原文本刊更多论文

高基数在线除法

我们给出了先前论文[1]中规定的在线除法算法的正确性的形式化证明。我们还推导了两个基数4在线除法算法，分别具有非冗余和冗余操作数。

本文章由计算机程序翻译，如有差异，请以英文原文为准。

求助全文

约1分钟内获得全文求助全文

来源期刊

1978 IEEE 4th Symposium onomputer Arithmetic (ARITH)

自引率

0.00%

发文量