An Abstract Systolic Model and Its Application to the Design of Finite Element Systems.
Abstract
An abstract model is suggested to describe precisely systolic networks and to verify their operation. The data items appearing on the communication links of such networks at consecutive time units are presented by data sequences and the operation performed by the network-cells are modelled by a system of equations involving operations on sequences. The input/output relations, which describe the global effect of the communications performed by the network, are obtained by solving the corresponding system of sequence equations. This input/output description can then be used to verify the operation of the network. The model is supplemented with a simple computer language that may be used to express any system of causal equations describing the operation of a systolic network. An interpreter is developed for this language to solve such a system for specific forms of the inputs and to produce the corresponding outputs. The application of this interpreter to the computational assessment of a given systolic network is equivalent to the simulation of its execution. The abstract model is then applied to the specification and verification of a systolic machine for the computation of the elemental arrays in finite element analysis. Finally, possible organizations for complete finite element systems are suggested based on the idea of pipelining the computations associated with the different elements. (Author)
Document Details
- Document Type
- Technical Report
- Publication Date
- Jan 01, 1983
- Accession Number
- ADA140518
Entities
People
- R. G. Melhem
Organizations
- University of Pittsburgh