Issue No. 12 - December (1993 vol. 26)
DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/2.247651
<p> A codesign process using Promela, a concurrent programming language, is under development. A description is given of Promela, the software compiler, and the hardware compiler. As an example, the method is applied to a simple communication system using the alternating bit protocol.</p>
A. S. Wenban, J. W. O'Leary and G. M. Brown, "Codesign of Communication Protocols," in Computer, vol. 26, no. , pp. 46-52, 1993.