Synthesis of systolic arrays by equation transformations

Synthesis of systolic arrays, from formal specifications down to a chip, can be done using recurrence equations. The Alpha du Centaur environment that the authors present implements such a design trajectory. Programs, written in Alpha language, are rewritten Ising formal transformations (space-time reindexing, pipelining, control signal generation, etc.), and finally translated into a form suited to conventional VLSI design tools. The authors present the principle of systolic synthesis using Alpha du Centaur, and describe a systolic correlator that has been completely designed following this method