A Formal Design Methodology For Parallel Architectures
No Thumbnail Available
Authors
Elleithy, Khaled M.
Bayoumi, Magdy A.
Issue Date
1990-09-05
Type
Article
Language
Keywords
Algorithms analysis , Computer architecture , Computer science , Data algorithms , Parallel and distributed processing
Alternative Title
Abstract
In this paper, we introduce a formal approach for synthesis of array architectures. Four different forms are used to express the input algorithm: 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.
Description
Citation
Publisher
IEEE