DocumentCode :
2855215
Title :
Translating concurrent programs into delay-insensitive circuits
Author :
Brunvand, E. ; Sproull, R.F.
Author_Institution :
Carnegie Mellon Univ., Pittsburgh, PA, USA
fYear :
1989
fDate :
5-9 Nov. 1989
Firstpage :
262
Lastpage :
265
Abstract :
A method is presented for automatically translating a concurrent program into an asynchronous circuit. The translation procedure involves a simple syntax-directed translation from program constructs into initial asynchronous circuits. The resulting circuits are improved with correctness-preserving circuit-to-circuit transformations similar to peephole optimization in conventional compilers. Because these steps can be proved to be correct, the programmer is guaranteed that any specification met by the program will also be met by the circuit. A system has been constructed to perform the translation automatically. A brief description of the method is given, followed by two examples of programs translated into circuits.<>
Keywords :
circuit CAD; program interpreters; asynchronous circuit; concurrent program translation; correctness-preserving; delay-insensitive circuits; peephole optimization; syntax-directed translation; Asynchronous circuits; Communication system control; Delay; Libraries; Optimizing compilers; Process design; Production; Programming profession; Signal processing; Very large scale integration;
fLanguage :
English
Publisher :
ieee
Conference_Titel :
Computer-Aided Design, 1989. ICCAD-89. Digest of Technical Papers., 1989 IEEE International Conference on
Conference_Location :
Santa Clara, CA, USA
Print_ISBN :
0-8186-1986-4
Type :
conf
DOI :
10.1109/ICCAD.1989.76949
Filename :
76949
Link To Document :
بازگشت