Accession Number : ADA130294

Title :   Formal Verification of a Systolic System for Finite Element Stiffness Matrices.

Descriptive Note : Technical rept.,

Corporate Author : PITTSBURGH UNIV PA INST FOR COMPUTATIONAL MATHEMATICS AND APPLICATIONS

Personal Author(s) : Melhem,Rami

PDF Url : ADA130294

Report Date : Jan 1982

Pagination or Media Count : 59

Abstract : In a previous publication an abstract model was developed for the specification of systollc networks and the verification of the correctness of their operation. The model was applied to the verification of the operation of four systollc networks that had been suggested in the literature. In this report, the authors extends this model to allow for networks with slightly more complicated types of computational cells, namely cells that have periodic memory or multiplexing capabilities.

Descriptors :   *Mathematical models, *Communications networks, *Finite element analysis, *Matrices(Mathematics), Stiffness, Data links, Mesh, Nodes, Computations, Operators(Mathematics), Multiplexing, Memory devices, Pipelines

Subject Categories : Theoretical Mathematics
      Non-radio Communications

Distribution Statement : APPROVED FOR PUBLIC RELEASE