An On-Line Arithmetic Unit for Bit-Pipelined Rational Arithmetic

Abstract We derive a binary version of an algorithm of Gosper to compute the sum, difference, product, quotient, and certain rational functions of two rational operands applicable to integrated approximate and exact rational computation. The arithmetic unit we propose is an eight-register computation cell with bit-serial input and output employing a binary continued fraction representation of the rational operands. The operands and results are processed in a most-significant-bit first on-line fashion with bit level logic. Individual bits of the input/output in our binary continued fraction representation are shown to correspond in a one-to-one manner with primitive shift and shift-and-add/subtract operations on pairs of registers in the computation cell. Extension to a redundant signed-bit format is shown feasible toward the ultimate goal of achieving small on-line delay and near uniform throughput in cascaded pipelined computation with these computation cells.

[1]  Milos D. Ercegovac,et al.  On-Line Arithmetic: An Overview , 1984, Optics & Photonics.

[2]  Peter Kornerup,et al.  Finite Precision Rational Arithmetic: An Arithmetic Unit , 1983, IEEE Transactions on Computers.

[3]  E. V. Krishnamurthy,et al.  Methods and Applications of Error-Free Computation , 1984, Texts and Monographs in Computer Science.

[4]  Robert B. Seidensticker Continued fractions for high-speed and high-accuracy computer arithmetic , 1983, 1983 IEEE 6th Symposium on Computer Arithmetic (ARITH).

[5]  Peter Kornerup,et al.  Finite Precision Rational Arithmetic: Slash Number Systems , 1983 .

[6]  Peter Kornerup,et al.  Finite precision lexicographic continued fraction number systems , 1985, 1985 IEEE 7th Symposium on Computer Arithmetic (ARITH).

[7]  E. Wright,et al.  An Introduction to the Theory of Numbers , 1939 .

[8]  Kishor S. Trivedi,et al.  On-line algorithms for division and multiplication , 1975, 1975 IEEE 3rd Symposium on Computer Arithmetic (ARITH).

[9]  David W. Matula Foundations of finite precision arithmetic , 1972, IEEE Symposium on Computer Arithmetic.

[10]  Peter Kornerup,et al.  An order preserving finite binary encoding of the rationals , 1983, 1983 IEEE 6th Symposium on Computer Arithmetic (ARITH).

[11]  David W. Matula Fixed-slash and floating-slash rational arithmetic , 1975, 1975 IEEE 3rd Symposium on Computer Arithmetic (ARITH).