Embedded System Specification

  • Eugenio Villar
  • Maite Veiga


Electronic Design Automation (EDA) has evolved dramatically during the last ten years covering almost satisfactorily all the design steps from the RT-level description down to the final implementation. Recently, the first commercial behavioral synthesis tools have appeared in the market. Nevertheless, electronic system complexity supported by current microelectronic technology leads to the need for more sophisticated and powerful design methodologies and tools. This need will become greater in the near future as technology continues to evolve. As a consequence, computer-aided, system-level design methodologies represent the next step in EDA tool generation still to be developed. This is the reason for the recently increasing interest in Electronic System Design Automation (ESDA) tools.


System Specification Task Type Communication Mechanism Interrupt Handler Final Implementation 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. [BuW95]
    A. Bums and A. Wellings: “Concurrency in ADA”, Cambridge University Press, 1995.Google Scholar
  2. [Ca193]
    J. P. Calvez: “Embedded real-time systems: A specification and design methodology”, Wiley, 1993.Google Scholar
  3. [Coh96]
    N.H. Cohen: “ADA as a second language”, McGraw-Hill, 1996.Google Scholar
  4. [CSV92]
    E. Casino; P. Sanchez and E. Villar: “A high-level VHDL simulator”, proc. of Spring VIUF’92, May, 1992.Google Scholar
  5. [ErH92]
    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.Google Scholar
  6. [GuL97]
    R.K. Gupta and S. Liao: “Using a programming language for digital system design”, IEEE Design and Test of Computers, April-June, 1997.Google Scholar
  7. [GuM93]
    R.K. Gupta and G. de Micheli: “Hardware-software co-synthesis for digital systems”, IEEE Design and Test of Computers, September, 1993.Google Scholar
  8. [GVN94]
    D. D. Gajski, F. Vahid, S. Narayan and J. Gong: “Specification and design of embedded systems”, Prentice-Hall, 1994.Google Scholar
  9. [KuM92]
    D.C. Ku and G. de Micheli: “High-level synthesis of ASICs under timing and synchronization constraints”, Kluwer, 1992.Google Scholar
  10. [Mic94]
    G. de Micheli: “Synthesis and optimization of digital circuits”,McGraw-Hill, 1994.Google Scholar
  11. [NeS96]
    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.Google Scholar
  12. [PuV97]
    P.H.A. van der Putten and J.P.M. Voeten: “Specification of Reactive hardware/software systems ”, CIP-Data Library Technishe Universiteit Eindhoven, 1997.Google Scholar
  13. [Ram93]
    F. Rammig: “System level design”, in “Fundamentals and standards in hardware description languages”, edited by J. Mermet, Kluwer, 1993.Google Scholar
  14. [ViS93]
    E. Villar and P. Sanchez: “Synthesis applications of VHDL”, in “Fundamentals and standards in hardware description languages”, edited by J. Mermet, Kluwer, 1993.Google Scholar

Copyright information

© Springer Science+Business Media Dordrecht 1998

Authors and Affiliations

  • Eugenio Villar
  • Maite Veiga

There are no affiliations available

Personalised recommendations