Transformation of ADA Program Units into Silicon
Semiannual technical rept. no. 4 (Final), 1 Apr-15 Nov 1983
UTAH UNIV SALT LAKE CITY SCHOOL OF COMPUTING
Pagination or Media Count:
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.
- Electrical and Electronic Equipment