Semiannual technical report transformation of ADA programs into silicon (1 Sept. 1981- 28 Feb. 1982)

Update item information
Publication Type technical report
School or College College of Engineering
Department Computing, School of
Creator Organick, Elliott I.
Title Semiannual technical report transformation of ADA programs into silicon (1 Sept. 1981- 28 Feb. 1982)
Date 1982
Description This report summarizes the first six months work of the research project, "Transformation of Ada Programs into Silicon." Our project has five main objectives: 1. Develop and document elements of a transformation methodology for converting Ada programs, or program constructs, into VLSI systems which are ensembles of intercommunicating state machines. This research includes: selecting intermediate languages, as deemed necessary, and identifying a sufficient set of transformation rules for mapping program specifications through successive levels of representation, from Ada to integrated circuits. 2. Demonstrate the methodology developed in 1 by manually applying it to a non-trivial example: transforming an Ada-encoded representation of the DoD Standard Internet Protocol (or a significant .subset thereof) into NMOS circuitry. 3. Work toward a theory for identifying substructures within Ada programs for which the transformation methodology is attractive or suitable, according to pragmatic considerations. (That is, attempt to determine the advantages and disadvantages of converting prototypical Ada constructs into silicon.) Identify and classify those Ada program constructs that are especially "good" candidates for conversion. " 4. Develop specifications for a set of software tools for use in automating the transformation methodology developed in 1. 5. Develop a methodology for testing integrated circuits representing Ada program units and for integrating such circuits into a larger system embodying the remainder of the Ada program of which the produced integrated circuit was extracted.
Type Text
Publisher University of Utah
First Page 1
Last Page 63
Subject ADA programs; VLSI
Subject LCSH Integrated circuits -- Very large scale integration
Language eng
Bibliographic Citation Organick, E. I. (1982). Semiannual technical report transformation of Ada program into silicon. 1-63. UTEC-82-020.
Series University of Utah Computer Science Technical Report
Relation is Part of ARPANET
Rights Management ©University of Utah
Format Medium application/pdf
Format Extent 7,667,015 bytes
Identifier ir-main,15999
ARK ark:/87278/s6b28crr
Setname ir_uspace
Date Created 2012-06-13
Date Modified 2015-04-24
ID 705757
Reference URL https://collections.lib.utah.edu/ark:/87278/s6b28crr
Back to Search Results