Projection: A Synthesis Technique for Concurrent SystemsRajit Manohar, Tak-Kwan Lee, and Alain J. MartinWe 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. |
|
|
|