Title :
Codesign of communication protocols
Author :
Wenban, Alan S. ; O´leary, John W. ; Brown, Geoffrey M.
Author_Institution :
Sch. of Electr. Eng., Cornell Univ., Ithaca, NY, USA
Abstract :
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.<>
Keywords :
logic design; parallel languages; program compilers; protocols; Promela; alternating bit protocol; codesign process; communication protocols; concurrent programming language; hardware compiler; software compiler; Clocks; Field programmable gate arrays; Hardware; Logic gates; Process design; Protocols; Safety; Silicon compiler; Software tools; System recovery;
