Simulation of systolic networks with a syntax directed solver for systems of sequence equations
Abstract
The main objective of this paper is to supplement a model that was previously suggested for the verification of systolic networks. A simple language is presented to express the system of sequence equations that models the operation of the network. Then a syntax directed interpreter is developed to solve this system for specific forms of the inputs and to produce the corresponding outputs. This technique for the verification of a certain computation on a systolic network is equivalent with the simulation of its execution.
 Publication:

NASA STI/Recon Technical Report N
 Pub Date:
 October 1983
 Bibcode:
 1983STIN...8410417M
 Keywords:

 Communication Networks;
 Computation;
 Equations;
 Programming Languages;
 Computerized Simulation;
 Grammars;
 Input/Output Routines;
 Problem Solving;
 Syntax;
 Communications and Radar