SinglePrecisionReciprocalbyMultipartiteTableLook-up.PDFVIP

Single Precision Reciprocal by Multipartite Table Look-up Peter Kornerup David W. Matula University of Southern Denmark Southern Methodist University Odense, Denmark Dallas, Texas, USA E-mail: kornerup@imada.sdu.dk E-mail: matula@engr.smu.edu Abstract— We develop the foundations for confirming In Section II we develop the foundations of monotonicity of a multi-term reciprocal function approx- monotonic one-ulp reciprocal functions. In partic- imation. We introduce the concept of operand recoding ular we introduce and prove a monotonicity the- to improve the accuracy of multipartite approximation. orem. Specifically, if  !#%$M(K* satisfies (2), then 54 The results are applied to provide a proposed four-partite reciprocal implementation with total table size 27 Kbytes, the reciprocal function  N (K !#/$ (K** , obtained by that yields an IEEE standard, single precision format (24 rounding1 such an approximate reciprocal function bit) reciprocal instruction, that is a one-ulp monotonic to nearest at the JOPQ position, is a one-ulp