From Algorithms To Parallel Architectures: A Formal Approach

In this paper, we introdwe a formal ap-proach f m synthesis of parallel architectures. Fwr different forms are used to express thegiven abo-rithms: simdtancous recursion, recursion with respect to d r fmnt variables, f i e d nestin8 and variable nestin8. Four dfifkrent architectures f m the same algmthm are obtained. As an example, a matrix-matrix mdtiplication a&withm is used t o obtain f w r drferent optimal architectures. The drrerent architecwres of this example are com-pared in terms of area, time, broadcasting and re-quired hardware. The approach is providing two main features: completeness and correctness. 1