Advanced Techniques for Embedded Systems Design and Test

  • Juan Carlos López
  • Román Hermida
  • Walter Geisselhardt

Table of contents

  1. Front Matter
    Pages i-xiii
  2. Eugenio Villar, Maite Veiga
    Pages 1-30
  3. Margarida F. Jacome, Juan Carlos López
    Pages 31-52
  4. María Luisa López-Vallejo, Juan Carlos López
    Pages 53-76
  5. Paul G. Plöger, Horst Günther, Eduard Moser
    Pages 77-101
  6. José Manuel Mendías, Román Hermida
    Pages 103-123
  7. Sabih H. Gerez, Sonia M. Heemstra de Groot, Erwin R. Bonsma, Marc J. M. Heijligers
    Pages 125-150
  8. Valery Sklyarov, António Adrego da Rocha, António Brito de Ferrari
    Pages 151-177
  9. Pablo Sánchez, Víctor Fernández
    Pages 201-230
  10. Walter Geisselhardt, Heinz-Dieter Huemmer
    Pages 231-259
  11. Jean-François Santucci, Paul Bisgambiglia, Dominique Federici
    Pages 261-284
  12. Back Matter
    Pages 285-290

About this book

Introduction

As electronic technology reaches the point where complex systems can be integrated on a single chip, and higher degrees of performance can be achieved at lower costs, designers must devise new ways to undertake the laborious task of coping with the numerous, and non-trivial, problems that arise during the conception of such systems. On the other hand, shorter design cycles (so that electronic products can fit into shrinking market windows) put companies, and consequently designers, under pressure in a race to obtain reliable products in the minimum period of time. New methodologies, supported by automation and abstraction, have appeared which have been crucial in making it possible for system designers to take over the traditional electronic design process and embedded systems is one of the fields that these methodologies are mainly targeting. The inherent complexity of these systems, with hardware and software components that usually execute concurrently, and the very tight cost and performance constraints, make them specially suitable to introduce higher levels of abstraction and automation, so as to allow the designer to better tackle the many problems that appear during their design.
Advanced Techniques for Embedded Systems Design and Test is a comprehensive book presenting recent developments in methodologies and tools for the specification, synthesis, verification, and test of embedded systems, characterized by the use of high-level languages as a road to productivity. Each specific part of the design process, from specification through to test, is looked at with a constant emphasis on behavioral methodologies.
Advanced Techniques for Embedded Systems Design and Test is essential reading for all researchers in the design and test communities as well as system designers and CAD tools developers.

Keywords

CAD Standard algorithms automation complex system complex systems complexity computer-aided design (CAD) digital signal processor embedded systems simulation system

Editors and affiliations

  • Juan Carlos López
    • 1
  • Román Hermida
    • 2
  • Walter Geisselhardt
    • 3
  1. 1.Technical University of MadridMadridSpain
  2. 2.Complutense University of MadridMadridSpain
  3. 3.Gerhard-Mercator-University DuisburgDuisburgGermany

Bibliographic information

  • DOI https://doi.org/10.1007/978-1-4757-4419-4
  • Copyright Information Springer-Verlag US 1998
  • Publisher Name Springer, Boston, MA
  • eBook Packages Springer Book Archive
  • Print ISBN 978-1-4419-5031-4
  • Online ISBN 978-1-4757-4419-4
  • About this book