A Mathematical Model for the Verification of Systolic Networks
- 1 August 1984
- journal article
- Published by Society for Industrial & Applied Mathematics (SIAM) in SIAM Journal on Computing
- Vol. 13 (3) , 541-565
- https://doi.org/10.1137/0213034
Abstract
No abstract availableKeywords
This publication has 5 references indexed in Scilit:
- Why systolic architectures?Computer, 1982
- Proofs of Networks of ProcessesIEEE Transactions on Software Engineering, 1981
- A Wavefront Notation Tool for VLSI Array DesignPublished by Springer Nature ,1981
- A Mathematical Approach to Modelling the Flow of Data and Control in Computational NetworksPublished by Springer Nature ,1981
- Syntax-Directed Verification of Circuit FunctionPublished by Springer Nature ,1981