Codesign of communication protocols
Alan Wenban, John W. O’Leary, Gavin M. Brown · Computer · 1993
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.>