Multiplication by rational constants

Florent de Dinechin (1, 2)

1 ARENAIRE - Computer arithmetic
2 LIP - Laboratoire de l'Informatique du Parallélisme

Multiplications by simple rational constants often appear in fixed-point or floating-point application code, for instance in the form of division by an integer constant. The hardware implementation of such operations is of practical interest to FPGA-accelerated computing. It is well known that the binary representation of rational constants is eventually periodic. This article shows how this feature can be exploited to implement floating-point multiplication by a rational constant in a number of additions that is logarithmic in the precision. An open-source implementation of this technique is provided, and is shown to be practically relevant for constants with small numerators and denominators, where it provides improvements of 20 to 40\% in area with respect to the state of the art. It is also shown that for such constants, the additional cost for a correctly rounded result is very small, and that correct rounding very often comes for free in practice.

Domaines: Arithmétique des ordinateurs

Florent de Dinechin. Multiplication by rational constants: LIP research report 2011-3. 2011. ⟨ensl-00610328v1⟩