Synthesis of systolic arrays by equation transformations
Catherine Dezan, Eric Gautrin, Hervé Le Verge, Patrice Quinton, Yannick Saouter · 2002
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.>