Publication Type |
Journal Article |
School or College |
College of Engineering |
Department |
Computing, School of |
Creator |
Brunvand, Erik L. |
Other Author |
Sproull, Robert F. |
Title |
Translating concurrent programs into delay-insensitive circuits |
Date |
1989 |
Description |
Programs written in a subset of occam are automatically translated into delay-insensitive circuits using syntax-directed techniques. The resulting circuits are improved using semantics-preserving circuit-to-circuit transformations. Since each step of the translation process can be proven correct, the resulting circuit behavior is a faithful copy of the original program behavior. A compiler has been constructed that automatically performs the translation and transformation. |
Type |
Text |
Publisher |
Institute of Electrical and Electronics Engineers (IEEE) |
First Page |
262 |
Last Page |
265 |
Language |
eng |
Bibliographic Citation |
Brunvand, E. L., & Sproull, R. F. (1989). Translating concurrent programs into delay-insensitive circuits. In ICCAD-89, 262-5. November. |
Rights Management |
(c) 1989 IEEE. Personal use of this material is permitted. However, permission to reprint/republish this material for advertising or promotional purposes or for creating new collective works for resale or redistribution to servers or lists, or to reuse any copyrighted component of this work in other works must be obtained from the IEEE. |
Format Medium |
application/pdf |
Format Extent |
391,449 bytes |
Identifier |
ir-main,15778 |
ARK |
ark:/87278/s6b85sd5 |
Setname |
ir_uspace |
ID |
703791 |
Reference URL |
https://collections.lib.utah.edu/ark:/87278/s6b85sd5 |