Advanced Techniques for Embedded Systems Design and Test

1. Front Matter

   Pages i-xiii

   PDF

2. Embedded System Specification

   • Eugenio Villar, Maite Veiga

   Pages 1-30

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

   • Margarida F. Jacome, Juan Carlos López

   Pages 31-52

4. Knowledge Based Hardware-Software Partitioning of Electronic Systems

   • María Luisa López-Vallejo, Juan Carlos López

   Pages 53-76

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

   • Paul G. Plöger, Horst Günther, Eduard Moser

   Pages 77-101

6. Automatic Formal Derivation Applied to High-Level Synthesis

   • José Manuel Mendías, Román Hermida

   Pages 103-123

7. Overlapped Scheduling Techniques for High-Level Synthesis and Multiprocessor Realizations of DSP Algorithms

   • Sabih H. Gerez, Sonia M. Heemstra de Groot, Erwin R. Bonsma, Marc J. M. Heijligers

   Pages 125-150

8. Synthesis of Reconfigurable Control Devices Based on Object-Oriented Specifications

   • Valery Sklyarov, António Adrego da Rocha, António Brito de Ferrari

   Pages 151-177

9. Estimation of Circuit Physical Features in High-Level Synthesis Based on Standard Cells

   • Milagros Fernández, Hortensia Mecha

   Pages 179-199

10. Test Synthesis of Digital Systems

    • Pablo Sánchez, Víctor Fernández

    Pages 201-230

11. Advances in ATPG by Exploiting the Behavioral View

    • Walter Geisselhardt, Heinz-Dieter Huemmer

    Pages 231-259

12. Behavioral Fault Simulation

    • Jean-François Santucci, Paul Bisgambiglia, Dominique Federici

    Pages 261-284

13. Back Matter

    Pages 285-290

    PDF

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.

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

• 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

Policies and ethics