Synthesizing systolic algorithms by three‐level functional programs

Abstract

Listen

Translate article

Abstract A language called aFP, which is a dialect of FP containing many desirable parallel constructs, is used to derive systolic algorithms. We view aFP programs from three levels. Programs at the object level map objects to objects. The structure level deals with the structures of objects, mapping structures to structures. The sequencing level programs map sequenced structures to sequenced structures and have corresponding systolic algorithms. Sequenced structures provide information about the moving sequencing of the objects (I/O data). These three levels help the synthesis of systolic algorithms. Families of complex systolic arrays can be constructed from simpler ones systematically. Examples are given to illustrate the derivation of systolic algorithms from aFP programs.