Deriving Two-Phase Modules for a Multi-Target Hardware Compiler
Jifeng He, Geoffrey M. Brown, Wayne W. Luk, John W. O’Leary · Electronic workshops in computing · 1996
This paper adopts the CSP framework for deriving a compilation scheme from a simple imperative language to two-phase modules. Two-phase modules are processes that communicate with one another using two-phase handshake protocols. The two-phase modules generated by our compilation scheme can be implemented as asynchronous or clocked circuits. The derivation techniques have been applied to a concurrent language which is a superset of the language discussed.