System-level Test and Validation of Hardware/Software Systems

• Corporate Author: SpringerLink (Online service)
• Other Authors: Sonza Reorda, Matteo (Editor), Peng, Zebo (Editor), Violante, Massimo (Editor)
• Format: Electronic eBook
• Language: English
• Published: London : Springer London, 2005.
• Series: Springer Series in Advanced Microelectronics, 17
• Subjects: Engineering.; Computer hardware.; Computer programming.; Condensed matter.; Engineering design.; Electronics.; Microelectronics.; Electronic circuits.; Circuits and Systems.; Electronics and Microelectronics, Instrumentation.; Engineering Design.; Computer Hardware.; Programming Techniques.; Condensed Matter Physics.

New manufacturing technologies have made possible the integration of entire systems on a single chip. This new design paradigm, termed system-on-chip (SOC), together with its associated manufacturing problems, represents a real challenge for designers. As well as giving rise to new design practices,...

Table of Contents:

• Modeling Permanent Faults
• Test Generation: A Symbolic Approach
• Test Generation: A Heuristic Approach
• Test Generation: A Hierarchical Approach
• Test Program Generation from High-level Microprocessor Descriptions
• Tackling Concurrency and Timing Problems
• An Approach to System-level Design for Test
• System-level Dependability Analysis.