Projection: A Synthesis Technique for Concurrent Systems

Rajit Manohar, Tak-Kwan Lee, and Alain J. Martin

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.
 
  
Yale