DocumentCode
2762736
Title
Projection: a synthesis technique for concurrent systems
Author
Manohar, Rajit ; Lee, Tak-Kwan ; Martin, Alain J.
Author_Institution
Sch. of Electr. Eng., Cornell Univ., Ithaca, NY, USA
fYear
1999
fDate
1999
Firstpage
125
Lastpage
134
Abstract
We present a process decomposition technique for the design of pipelined asynchronous circuits. The technique is simple to use, and is based on projecting a program on different sets of variables. We provide conditions under which the technique can be applied, and show how it can be used to decompose complex concurrent programs
Keywords
asynchronous circuits; circuit CAD; integrated logic circuits; logic CAD; pipeline processing; complex concurrent program decomposition; concurrent systems; pipelined asynchronous circuits; process decomposition technique; projection method; synthesis technique; Circuit synthesis; Cogeneration; Computer science; Concurrent computing; Microprocessors; Military computing; Monitoring; Pipeline processing; Research and development; Very large scale integration;
fLanguage
English
Publisher
ieee
Conference_Titel
Advanced Research in Asynchronous Circuits and Systems, 1999. Proceedings., Fifth International Symposium on
Conference_Location
Barcelona
ISSN
1522-8681
Print_ISBN
0-7695-0031-5
Type
conf
DOI
10.1109/ASYNC.1999.761528
Filename
761528
Link To Document