175 years of Springer publishing +++ Through June 30: 50% off Physics & Astronomy Books

Advanced Techniques for Embedded Systems Design and Test

Editors: López, Juan C., Hermida, Román, Geisselhardt, Walter (Eds.)

Buy this book

eBook $189.00
price for USA (gross)
  • ISBN 978-1-4757-4419-4
  • Digitally watermarked, DRM-free
  • Included format: PDF
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Hardcover $239.00
price for USA
  • ISBN 978-0-7923-8128-0
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.
Softcover $239.00
price for USA
  • ISBN 978-1-4419-5031-4
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.
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.

Table of contents (11 chapters)

  • Embedded System Specification

    Villar, Eugenio (et al.)

    Pages 1-30

  • Supporting Early System-Level Design Space Exploration in the Deep Submicron Era

    Jacome, Margarida F. (et al.)

    Pages 31-52

  • Knowledge Based Hardware-Software Partitioning of Electronic Systems

    López-Vallejo, María Luisa (et al.)

    Pages 53-76

  • An Industrial Case Study in HW-SW Co-Design Using Castle

    Plöger, Paul G. (et al.)

    Pages 77-101

  • Automatic Formal Derivation Applied to High-Level Synthesis

    Mendías, José Manuel (et al.)

    Pages 103-123

Buy this book

eBook $189.00
price for USA (gross)
  • ISBN 978-1-4757-4419-4
  • Digitally watermarked, DRM-free
  • Included format: PDF
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Hardcover $239.00
price for USA
  • ISBN 978-0-7923-8128-0
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.
Softcover $239.00
price for USA
  • ISBN 978-1-4419-5031-4
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.
Loading...

Services for this Book

Recommended for you

Loading...

Bibliographic Information

Bibliographic Information
Book Title
Advanced Techniques for Embedded Systems Design and Test
Editors
  • Juan C. López
  • Román Hermida
  • Walter Geisselhardt
Copyright
1998
Publisher
Springer US
Copyright Holder
Springer Science+Business Media Dordrecht
eBook ISBN
978-1-4757-4419-4
DOI
10.1007/978-1-4757-4419-4
Hardcover ISBN
978-0-7923-8128-0
Softcover ISBN
978-1-4419-5031-4
Edition Number
1
Number of Pages
XIV, 290
Topics