Codesign of Communication Protocols

Computer

Volumn 26, Issue 12, 1993, Pages 46-52

  Wenban, Alan S ^a   O'Leary, John W ^a   Brown, Geoffrey M ^a  

^a Department of Obstetrics Gynecology   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

COMMUNICATION; COMPUTER HARDWARE; COMPUTER SOFTWARE; DESIGN; NETWORK PROTOCOLS;

COMMUNICATION PROTOCOLS; HARDWARE SOFTWARE CODESIGN; SOFTWARE PACKAGE PROMELA;

COMPUTERS;

EID: 0027809687     PISSN: 00189162     EISSN: None     Source Type: Trade Journal    
DOI: 10.1109/2.247651     Document Type: Article

References (10)

1. G.J. Holzmann, Design and Validation of Computer Protocols, Prentice Hall. Englewood Cliffs, N.J., 1991.
2. G. Jones. Programming in Occam, Prentice Hall. Englewood Cliffs. N.J., 1987.
3. T. Bolognesi and E. Brinksma, “Introduction to the ISO Specification Language LOTOS,” Computer Networks and ISDN Systems. Vol. 14. No. 1. 1987, pp. 25–59.
4. I. Page and W. Luk. “Compiling Occam into FPGAs,” in FPGAs. W. Moore and W. Luk. eds., Abingdon EE&CS Books. Abingdon. England. 1991, pp. 271–283.
5. IEEE Standard VHDL Language Reference Manual. IEEE. New York. N.Y., 1988.
6. Electronic Design Interchange Format Version 2 0 0. Electronic Industries Assoc., Washington, D.C., 1989.
7. K.A. Bartlett. R.A. Scantlebury, and P.T. Wilkinson. “A Note on Reliable Full-Duplex Transmission over Half-Duplex Links,” Comm. ACM. Vol. 12, No. 5. May 1969, pp. 260–265.
8. T.L. Hansen. The C++ Answer Book. Addison-Wesley Publishing. Reading, Mass., 1990.
9. M. Schlag, P.K. Chan, and J. Kong, “Empirical Evaluation of Multilevel Logic Minimization Tools for an FPGA Technology,” in FPGAs. W. Moore and W. Luk. eds., Abingdon EE&CS Books, Abingdon, England, 1991, pp. 201–213.
10. M. Aagaard and M. Leeser, “A Formally Verified System for Logic Synthesis,” Proc. Int'l Conf. on Computer Design, IEEE CS Press, Los Alamitos, Calif., Order No. 2270. 1991, pp. 346–350.