A formal framework for conversion from binary to residue numbers

Residue number systems (RNS) offer unlimited opportunities for high performance arithmetic provided efficient forward and reverse converters can be constructed for the moduli set at hand. All forward conversion proposals to date require some read-only memory (ROM) along with computational elements like full adders (FA). Also, there is no single coherent approach for forward conversion design-each study proposes its own conversion philosophy. There is a clear need for a single parameterizable forward conversion model that can capture most of the important design parameters in the solution space. In this paper, we take the first step toward such a universal model. We show that by formulating the forward conversion problem in terms of modular exponentiation and addition, we can achieve memory free conversion. Furthermore, we generalize our solution such that bit serial and bit parallel implementations can be derived by simply varying a parameter. This allows the designer of the forward converter to ask "what if" questions and explore an optimal forward conversion solution. Apart from the formulation itself, the paper makes two other contributions. First, it demonstrates an entirely new set of converters that use no lookup. Second, we show how conversion complexity can be reduced significantly by sharing some of the circuitry over several forward converters.