This Article 
   
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
Codesign of Communication Protocols
December 1993 (vol. 26 no. 12)
pp. 46-52

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.

Citation:
Alan S. Wenban, John W. O'Leary, Geoffrey M. Brown, "Codesign of Communication Protocols," Computer, vol. 26, no. 12, pp. 46-52, Dec. 1993, doi:10.1109/2.247651
Usage of this product signifies your acceptance of the Terms of Use.