System-Level Validation High-Level Modeling and Directed Test Generation Techniques /

• Main Authors: Chen, Mingsong (Author), Qin, Xiaoke (Author), Koo, Heon-Mo (Author), Mishra, Prabhat (Author)
• Corporate Author: SpringerLink (Online service)
• Format: Electronic eBook
• Language: English
• Published: New York, NY : Springer New York : Imprint: Springer, 2013.
• Subjects: Engineering.; Microprocessors.; Electronics.; Microelectronics.; Electronic circuits.; Circuits and Systems.; Electronics and Microelectronics, Instrumentation.; Processor Architectures.

This book covers state-of-the art techniques for high-level modeling and validation of complex hardware/software systems, including those with multicore architectures.  Readers will learn to avoid time-consuming and error-prone validation from the comprehensive coverage of system-level validation, i...

Table of Contents:

• Introduction
• Modeling and Specification of SoC Designs
• Automated Generation of Directed Tests
• Functional Test Compaction.- Property Clustering and Learning Techniques
• Decision Ordering Based Learning Techniques
• Synchronized Generation of Directed Tests
• Learning-Oriented Property Decomposition Approaches
• Directed Test Generation for Multicore Architectures
• Test Generation for Cache Coherence Validation.- Reuse of System-Level Tests for Implementation Validation
• Conclusion.