Key points are not available for this paper at this time.
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.>
Wenban et al. (Wed,) studied this question.