From Algorithms To Parallel Architectures: A Formal Approach
No Thumbnail Available
Authors
Elleithy, Khaled M.
Bayoumi, Magdy A.
Issue Date
1991-04-30
Type
Article
Language
Keywords
Alternative Title
Abstract
In this paper, we introduce a formal approach for synthesis of parallel architectures. Four different forms are used to express the given algorithms: simultaneous recursion, recursion with respect to different variables, fixed nesting and variable nesting. Four different architectures for the same algorithm are obtained. As an example, a matrix-matrix multiplication algorithm is used to obtain four different optimal architectures. The different architectures of this example are compared in terms of area, time, broadcasting and required hardware. The approach is providing two main features: completeness and correctness.