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. (Author)

Open PDF

Document Details

Document Type
Technical Report
Publication Date
Jan 01, 1983
Accession Number
ADA130232

Entities

People

  • Rami G. Melhem

Organizations

  • University of Pittsburgh

Tags

DTIC Thesaurus Topics

  • Algorithms
  • Computations
  • Computer Science
  • Computers
  • Decomposition
  • Equations
  • Grammars
  • Language
  • Mathematics
  • Numbers
  • Real Numbers
  • Sequences
  • Simulations
  • Simulators
  • Specifications
  • Standards
  • Verification

Readers

  • Computational Fluid Dynamics (CFD)
  • Computational Linguistics
  • Parallel and Distributed Computing.