Overview
- Editors:
-
-
Juan Carlos López
-
Technical University of Madrid, Madrid, Spain
-
Román Hermida
-
Complutense University of Madrid, Madrid, Spain
-
Walter Geisselhardt
-
Gerhard-Mercator-University Duisburg, Duisburg, Germany
Access this book
Other ways to access
Table of contents (11 chapters)
-
Front Matter
Pages i-xiii
-
- Eugenio Villar, Maite Veiga
Pages 1-30
-
- Margarida F. Jacome, Juan Carlos López
Pages 31-52
-
- María Luisa López-Vallejo, Juan Carlos López
Pages 53-76
-
- Paul G. Plöger, Horst Günther, Eduard Moser
Pages 77-101
-
- José Manuel Mendías, Román Hermida
Pages 103-123
-
- Sabih H. Gerez, Sonia M. Heemstra de Groot, Erwin R. Bonsma, Marc J. M. Heijligers
Pages 125-150
-
- Valery Sklyarov, António Adrego da Rocha, António Brito de Ferrari
Pages 151-177
-
- Milagros Fernández, Hortensia Mecha
Pages 179-199
-
- Pablo Sánchez, Víctor Fernández
Pages 201-230
-
- Walter Geisselhardt, Heinz-Dieter Huemmer
Pages 231-259
-
- Jean-François Santucci, Paul Bisgambiglia, Dominique Federici
Pages 261-284
-
Back Matter
Pages 285-290
About this book
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.
Editors and Affiliations
-
Technical University of Madrid, Madrid, Spain
Juan Carlos López
-
Complutense University of Madrid, Madrid, Spain
Román Hermida
-
Gerhard-Mercator-University Duisburg, Duisburg, Germany
Walter Geisselhardt