Abstract
A methodology1 that efficiently translates Estelle formal specifications into a Very High Speed Integrated Circuit (VHSIC) Hardware Description Language (VHDL) description, suitable for the high level syntesis of an integrated circuit, is proposed. It will be shown that, in order to efficiently map Estelle into VHDL, a number of constrains must be imposed on the set of possible constructs within each language. An example based on the specification of a high speed protocol is discussed.
Chapter PDF
References
Ashenden, P. J. (1990) The VHDL Cookbook. Dept. Computer Science of University of Adelaide.
Braun T., Shiller J. et Zitterbart M. (1994) Implementation of Transport Protocols using Parallelism and VLSI Components. SBT/IEEE ITS 94, Rio de Janeiro, Brasil.
Budkowski, S. and Dembinski, P. (1987) An Introduction to Estelle: A Specification Language for Distributed Systems. Computer Network and ISDN System, 14, 3–23.
Chanson et al, (1993) On tools supporting the use of formal description techniques in protocol development. Computer Networks and ISDN Systems, 25, 723–39.
Courtiat, J. P. Estelle (1988) A powerful Dialect of Estelle for OSI Protocol description, International Workshop on Protocol Specification verification and testing, France.
Doeringer, W. et al (1990) A Survey of Light-Weight Transport Protocols for High-Speed Networks. IEEE transactions on Communications, vol. 388, NO. 11, November, 2025–38.
Doshi, B. and Johri, P. (1992) Communications Protocols for High Speed Packet Networks. Computer Networks and ISDN Systems, 24, 243–73.
Fraser, A. Marshall, W. (1989) Data Transport in a Byte Stream Network. IEEE Journal on Selected Areas in Communications, Vol. 7, NO.7, September.
ISO/TC97/SC21/WG16–1, (1987) Estelle: A formal Description Technique Based on a Extended State transition Model, DP9074.
Gajski, D. D. et al, (1992) High - Level Synthesis: Introduction to Chip and System Design. Kluwer Academic Publishers.
Kloos, C. D. et al, (1993) VHDL generation from a timed extension of the formal description technique LOTOS within the FORMAT project. Microprocessing and Microprogramming, 38, 589–96, North-Holland.
Krishnakumar, A. S. and Sabnani K.K. (1989) VLSI Implementation of Communication Protocols–A survey IEEE Journal on Select Areas in Communications,Vol. 7, 7, 1082–90.
Navabi, Z. (1992) A high-level language for Design and Modeling of Hardware. J. System Software, 18, 5–18.
Netravali, A. et al (1990) Design and Implementation of a High-Speed transport Protocol.
IEEE transaction on Communications, Vol. 38, No. 11 November, 2010–24.
Park, O’ Brien,K., Jerraya A. A. (1992) Tutorial - AMICAL: Interactive Architectural Synthesis Based on VHDL. Internal Report, IMAG/TIM3, March.
Strayer W. et al, (1985) XTP: The Xpress Transfer Protocol, Addison-Wesley Publishing Company.
Vissers C. et al (1983) Formal Description Techniques.Proceeding of IEEE,Vol. 71, 12, 1356–64.
A. Mesquita received the E.E. degree from PUC/MG, the M.Sc. degree from PUC/RJ and the Docteur d’Etat degree from Université Paul Sabatier of Toulouse, France. Current research interests: Circuits and Systems Theory, VLSI circuit design and Signal processing. Associate Professor at COPPE/UFRJ.
A. Pedroza received the E.E. degree from UFRJ, the M.Sc. degree from COPPE/UFRJ and the Doctorat degree from Université Paul Sabatier/LAAS. Current research interests: Formal Specification, Verification and Implementation of Protocol. Associate Professor at UFRJ.
L. Pirmez received the E.E. degree from UFRJ, the M.Sc. degree from COPPE/UFRJ and prepares a D. Sc. thesis at COPPE/UFRJ. Current research interests: Formal Specification, Verification and Implementation of Protocol.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1996 IFIP International Federation for Information Processing
About this chapter
Cite this chapter
Pirmez, L., Pedroza, A., Mesquita, A. (1996). A methodology for the implementation of protocols in hardware from a formal description. In: Dembiński, P., Średniawa, M. (eds) Protocol Specification, Testing and Verification XV. PSTV 1995. IFIP Advances in Information and Communication Technology. Springer, Boston, MA. https://doi.org/10.1007/978-0-387-34892-6_26
Download citation
DOI: https://doi.org/10.1007/978-0-387-34892-6_26
Publisher Name: Springer, Boston, MA
Print ISBN: 978-1-5041-2925-1
Online ISBN: 978-0-387-34892-6
eBook Packages: Springer Book Archive