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 |
ID |
705757 |
Reference URL |
https://collections.lib.utah.edu/ark:/87278/s6b28crr |