Codesign of communication protocols

1 December 1993

journal article
Published by Institute of Electrical and Electronics Engineers (IEEE) in Computer

Vol. 26 (12) , 46-52
https://doi.org/10.1109/2.247651

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

PROTOCOLS
HARDWARE
SOFTWARE TOOLS
FIELD PROGRAMMABLE GATE ARRAYS
PROCESS DESIGN
SAFETY
SYSTEM RECOVERY
SILICON COMPILER
CLOCKS
LOGIC GATES

This publication has 3 references indexed in Scilit:

Introduction to the ISO specification language LOTOS
Published by Elsevier ,2003
A formally verified system for logic synthesis
Published by Institute of Electrical and Electronics Engineers (IEEE) ,2002
A note on reliable full-duplex transmission over half-duplex links
Communications of the ACM, 1969