• DocumentCode
    978092
  • 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
  • Volume
    26
  • Issue
    12
  • fYear
    1993
  • Firstpage
    46
  • Lastpage
    52
  • 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;
  • fLanguage
    English
  • Journal_Title
    Computer
  • Publisher
    ieee
  • ISSN
    0018-9162
  • Type

    jour

  • DOI
    10.1109/2.247651
  • Filename
    247651
    • Link To Document
    https://search.isc.ac/dl/search/defaultta.aspx?DTC=49&DC=978092