Translating concurrent programs into delay-insensitive circuits

Update item information
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
Date Created 2012-06-13
Date Modified 2012-06-13
ID 703791
Reference URL https://collections.lib.utah.edu/ark:/87278/s6b85sd5
Back to Search Results