Transformation of ADA Program Units into Silicon

Abstract

This report, augmented with several appended papers and supplementary reports, describes the most recent six months of work on the research project. Transformation of Ada Programs into Silicon. This report is also the last of the series to be rendered under the current contract. Research has centered on methodologies for synthesizing asynchronous (speed-independent) VLSI circuits from Ada-like high-order specifications and a companion development of a comprehensive strategy and means for simulating and testing the derived circuits in a manner similar to the testing of software modules. The relationship between our emphasis on speed-independent circuits and Ada (or Ada-like) specifications is not accidental, as Ada semantics for intermodule communication are mapped with relative ease, in meaning-preserving ways, into protocols useful for implementing speed-independent circuits. Also reported is work in areas of research perceived as related to our main theme, e.g., development of the applicative multiprocessing architecture named Rediflow.

Open PDF

Document Details

Document Type
Technical Report
Publication Date
Nov 01, 1983
Accession Number
ADA141004

Entities

People

  • E. I. Organick

Organizations

  • University of Utah

Tags

Communities of Interest

  • Advanced Electronics

DTIC Thesaurus Topics

  • Circuits
  • Communication Channels
  • Computations
  • Computer Programming
  • Computer Science
  • Computer-Aided Design
  • Computers
  • High Level Languages
  • Integrated Circuits
  • Language
  • Network Protocols
  • New York
  • Programming Languages
  • Signal Processing
  • Simulations
  • Simulators
  • Software Development

Fields of Study

  • Engineering

Readers

  • Computational Linguistics
  • Parallel and Distributed Computing.
  • Software Verification and Validation.