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