Formal analysis of a systolic system for finite element stiffness matrices

摘要

An abstract systolic model, suggested in a previous paper, is extended to include computational cells with memories and multiplexing capabilities, and to specify formally the pipelining of computations through systolic networks. The basic idea is to represent the data item appearing on any communication link of a systolic network by a data sequence and to specify the operation on each cell by a set of equations using operators on sequences. The model is then applied successfully to a complex system that we suggest for pipelining the computation of the elemental stiffness matrices for finite element analysis.