A Mathematical Model for the Verification of Systolic Networks

DOI10.1137/0213034zbMath0546.94031OpenAlexW1964875728MaRDI QIDQ3338117

Werner C. Rheinboldt, R. G. Melhem

Publication date: 1984

Published in: SIAM Journal on Computing (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1137/0213034

zbMATH Keywords

systolic networksdata sequencescausal operators, VLSImathematical model for systolic architectures

Mathematics Subject Classification ID

Related Items (7)

Verification of a class of self-timed computational networks ⋮ The cut theorem—a tool for design of systolic algorithms ⋮ Systolic algorithms ⋮ Decoupling the dimensions of a system of affine recurrence equations ⋮ Automatic verification of a class of systolic circuits ⋮ The application of a sequence notation to the design of systolic computations ⋮ Formal analysis of a systolic system for finite element stiffness matrices

This page was built for publication: A Mathematical Model for the Verification of Systolic Networks