=ADD=
=reftype=
14
=number=
02-27
=url=
ftp://ftp.risc.uni-linz.ac.at/pub/techreports/2002/02-27.ps.gz
=year=
2002
=month=
12
=author=
SZAKACS; Laura
=title=
Automatic Design of Systolic Arrays: A Short Survey
=abstract=
The first examples of systolic designs that appeared in the
early eighties were conceived in an ``ad hoc'' manner, requiring a 
great amount of creativity and inspiration of its inventors. 
Then systematic design methodologies have been proposed to overcome 
the limitations of heuristics and designer intuition and to provide 
a formal framework for mapping algorithms to systolic architectures.
The paper provides a survey of the available systolic array design 
methods outlining their advantages and drawbacks.

Three different approaches to the automatic systolic array design are
discussed in detail, with representative examples and useful 
observations added.

The long-term purpose of this research is to automate the generation 
and verification of systolic designs with the help of automated 
theorem proving systems combined with computer algebra systems 
(in particular Theorema, see www.theorema.org).
=sponsor=
SFB project F1302 of FWF (Austrian Science Foundation).