Abstract
System specification is one of the main tasks in any HW/SW codesign methodology. Many languages are being used based on different underlying models. None of them has been developed specifically for general purpose, real-time, HW/SW embedded system specification and design. In this paper, Ada [1] is proposed for the specification of complex, real-time, embedded systems containing functions to be implemented either in hardware or software. Its suitability for this kind of application will be analyzed and its role in a complete HW-SW co-design methodology will be described. The codesign methodology proposed is based on the interrelated use of both Ada and VHDL. Both are standard languages with a very similar syntax, based on the same programming concepts.
1
This work has been partially supported by INDRA-Espacio through the Esprit 26971 CoMES project.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
“Information Technology, Programming Languages, Ada Reference Manual”, International Standard ISO/IEC 8652:1995, January, 1995.
D. D. Gajski, F. Vahid, S. Narayan and J. Gong: “Specification and design of embedded systems”, Prentice-Hall, 1994.
F. Rammig: “System level design”, in “Fundamentals and standards in hardware description languages”, edited by J. Mermet, Kluwer, 1993.
R.K. Gupta and G. de Micheli: “Hardware-software co-synthesis for digital systems”, IEEE Design and Test of Computers, September, 1993.
Ernst, R. and Henkel, J.: “Hardware-software co-design of embedded controlers based on hardware extraction”, proc. of the IEEE International Workshop on HW/SW Co-design”, September, 1992. 1992.
H. Schwetman: “Using CSIM to model complex systems”, proc. of the 1988 Winter Simulation Conference, 1988.
R.K. Gupta and S. Liao: “Using a programming language for digital system design”, IEEE Design and Test of Computers, April—June, 1997.
R. Helaihel and K. Olukotun: “Java a a specification language for hardware-software systems”, proc. of ICCAD’97, IEEE, 1997.
P.H.A. van der Putten and J.P.M. Voeten: “Specification of Reactive hardware/software systems”, CIP-Data Library Technishe Universiteit Eindhoven, 1997.
E. Casino; P. Sánchez and E. Villar: “A high-level VHDL simulator”, proc. of Spring VIUF’92, May, 1992.
W. Nebel, G. Gorla and E. Moser: “Java, VHDL-AMS, Ada or C for system level specifications?”, Proc. of the Design, Automation and Test in Europe Conference 1999, IEEE, 1999.
E. Villar: “Embedded system specification”, in “Advanced techniques for embedded system design and test”, ed. J. C. López; R. Hermida and W. Geisselhardt, Kluwer, 1998.
J. P. Calvez: “Embedded real-time systems: A specification and design methodology”, Wiley, 1993.
A. Burns and A. Wellings: “Concurrency in Ada”, Cambridge University Press, 1995.
D.C. Ku and G. de Micheli: “High-level synthesis of ASICs under timing and synchronization constraints”, Kluwer, 1992.
W. Nebel and G. Schumacher: “Object-Oriented hardware modeling — Where to apply and what are the objects?”, proc. of EuroDAC’96 with EuroVHDL’96, IEEE, September, 1996.
Eles, P.; Kuchcinski, K.; Peng, Z. and Minea, M.: “Synthesis of VHDL concurrent processes”, proc. of EuroDAC’94 with EuroVHDL’94, IEEE, September, 1994.
Walkup, E. and Borriello, G.: “Automatic synthesis of device drivers for HW/SW codesign”, “proc. of the IEEE International Workshop on HW/SW Co-design”, October, 1993.
M.H. Klein, T. Ralya, B. Pollak, R. Obenza, and M. Gonzalez Harbour. “A practitioner’s Handbook for Real-Time Analysis”. Kluwer, 1993.
E. Villar and P. Sánchez: “Synthesis applications of VHDL”, in “Fundamentals and standards in hardware description languages”, edited by J. Mermet, Kluwer, 1993.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1999 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
López, A., Veiga, M., Villar, E. (1999). Hardware/Software Embedded System Specification and Design Using Ada and VHDL1. In: González Harbour, M., de la Puente, J.A. (eds) Reliable Software Technologies — Ada-Europe’ 99. Ada-Europe 1999. Lecture Notes in Computer Science, vol 1622. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-48753-0_31
Download citation
DOI: https://doi.org/10.1007/3-540-48753-0_31
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-66093-4
Online ISBN: 978-3-540-48753-1
eBook Packages: Springer Book Archive