Advanced Techniques for Embedded Systems Design and Test - Rilegato

 
9780792381280: Advanced Techniques for Embedded Systems Design and Test

Sinossi

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. 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. This comprehensive book presents 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 behavioural methodologies. The book should be useful reading for all researchers in the design and test communities as well as system designers and CAD tools developers.

Le informazioni nella sezione "Riassunto" possono far riferimento a edizioni diverse di questo titolo.

Contenuti

Preface; J.C. López, et al. 1. Embedded System Specification; E. Villar, M. Veiga. 2. Supporting Early System-Level Design Space Exploration in the Deep Submicron Era; M.F. Jacome, J.C. López. 3. Knowledge Based Hardware-Software Partitioning of Electronic Systems; M.L. López-Vallejo, J.C. López. 4. An Industrial Case Study in HW-SW Co-Design Using CASTLE; P.G. Plöger, et al. 5. Automatic Formal Derivation Applied to High-Level Synthesis; J.M. Mendías, R. Hermida. 6. Overlapped Scheduling Techniques for High-Level Synthesis and Multiprocessor Realizations of DSP Algorithms; S.H. Gerez, et al. 7. Synthesis of Reconfigurable Control Devices Based on Object-Oriented Specifications; V. Sklyarov, et al. 8. Estimation of Circuit Physical Features in High-Level Synthesis Based on Standard Cells; M. Fernández, H. Mecha. 9. Test Synthesis of Digital Systems; P. Sánchez, V. Fernández. 10. Advances in ATPG by Exploiting the Behavioral View; W. Geisselhardt, H.-D. Huemmer. 11. Behavioral Fault Simulation; J.-F. Santucci, et al. Index.

Product Description

Book by Lopez Juan Carlos Hermida Roman

Le informazioni nella sezione "Su questo libro" possono far riferimento a edizioni diverse di questo titolo.

Altre edizioni note dello stesso titolo

9781441950314: Advanced Techniques for Embedded Systems Design and Test

Edizione in evidenza

ISBN 10:  1441950311 ISBN 13:  9781441950314
Casa editrice: Springer US, 2010
Brossura