Publication Type |
technical report |
School or College |
College of Engineering |
Department |
Computing, School of |
Creator |
Subrahmanyam, P.A. |
Other Author |
Rajopadhye, Sanjay V. |
Title |
TRACIS: transformations on Ada for circuit synthesis a report on the methodology for a silicon compiler |
Date |
1983 |
Description |
This report describes in detail, the ongoing design and implementation of a transformation system, for compiling specifications of integrated circuits into silicon. There are many levels in this process, and the area that we focus on produces target specifications of asynchronous and synchronous control units and the associated data paths. This target is compatible with the ASSASSIN system [1] which generates layouts from specifications of control units. The input to our system is an Ada program (restricted to a single Procedure Body) which specifies a certain computation. The Procedure Body is itself assumed to contain no package or task declarations or inatantiations and no Entry call statements. The result of the transformations performed by the system is a program consisting of the original specifications, with the target description appended to it. |
Type |
Text |
Publisher |
University of Utah |
Subject |
TRACIS; transformation system |
Subject LCSH |
Ada 95 (Computer program language) |
Language |
eng |
Bibliographic Citation |
Rajopadhye, S. V., & Subrahmanyam, P. A. (1983). TRACIS: transformations on Ada for circuit synthesis a report on the methodology for a silicon compiler. 1-27. UTEC-83-076. |
Series |
University of Utah Computer Science Technical Report |
Relation is Part of |
ARPANET |
Rights Management |
©University of Utah |
Format Medium |
application/pdf |
Format Extent |
2,836,962 bytes |
Identifier |
ir-main,16135 |
ARK |
ark:/87278/s6f19h3v |
Setname |
ir_uspace |
ID |
705151 |
Reference URL |
https://collections.lib.utah.edu/ark:/87278/s6f19h3v |