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
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;
Conference_Titel :
Advanced Research in Asynchronous Circuits and Systems, 1999. Proceedings., Fifth International Symposium on
Conference_Location :
Barcelona
Print_ISBN :
0-7695-0031-5
DOI :
10.1109/ASYNC.1999.761528
