Tools for regularizing array designs

The theory of synthesis for designing regular array architectures has been established for some time and design tools which automate some of the design steps have been developed. However, the design process is complicated by the lack of high level tools for regularizing a design. A tool for regularizing systems of affine recurrence equations (SARE) into uniform recurrence format is presented in this article. Such formats are suitable for direct application of synthesis techniques for designing regular array architectures. The main difficulties in regularizing a design such as choosing regularization vectors verifying the consistency of the transformed system are overcome through a set of high-level transformations. These transformations, which are currently lacking in design environments, simplify the designer's task of specifying algorithms for synthesizing regular arrays. Examples are presented to illustrate the use of these high-level transformations in regularizing array designs.