| Publication Type |
Journal Article |
| School or College |
College of Engineering |
| Department |
Computing, School of |
| Creator |
Organick, Elliott I.; Lindstrom, Gary E. |
| Other Author |
Carter, T. M.; Maloney, M. P.; Davis, A.; Hayes, A. B.; Klass, D.; Nelson, B. E.; Smith, K. F. |
| Title |
Transforming an Ada program unit to silicon and verifying its behavior in an Ada environment: a first experiment |
| Date |
1983 |
| Description |
Microelectronics technology has advanced so rapidly and been so successful that we are new having to build large systems with a multitude of diverse, interacting components. Some components of these systems exhibit distinct architectures and may, in fact, be implemented following different choices of data abstraction realized in a variety of logic and circuit technologies. When we as designers understand how to build such systems, we are no longer just software engineers or just hardware engineers. |
| Type |
Text |
| Publisher |
University of Utah |
| First Page |
31 |
| Last Page |
49 |
| Subject |
Transformation; Ada program units; Silicon |
| Subject LCSH |
Ada 95 (Computer program language) |
| Language |
eng |
| Bibliographic Citation |
Organick, E. I., Carter, T. M., Maloney, M. P., Davis, A., Hayes, A. B., Klass, D., Lindstrom, G., Nelson, B. E., & Smith, K. F. (1983). Transforming an Ada program unit to silicon and verifying its behavior in an Ada environment: a first experiment. 31-49. UUCS-83-026. |
| Series |
University of Utah Computer Science Technical Report |
| Relation is Part of |
ARPANET |
| Rights Management |
©University of Utah |
| Format Medium |
application/pdf |
| Format Extent |
4,428,792 bytes |
| Identifier |
ir-main,15993 |
| ARK |
ark:/87278/s6k93s7p |
| Setname |
ir_uspace |
| ID |
707351 |
| Reference URL |
https://collections.lib.utah.edu/ark:/87278/s6k93s7p |
