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

• Κύριοι συγγραφείς: Chen, Mingsong (Συγγραφέας), Qin, Xiaoke (Συγγραφέας), Koo, Heon-Mo (Συγγραφέας), Mishra, Prabhat (Συγγραφέας)
• Συγγραφή απο Οργανισμό/Αρχή: SpringerLink (Online service)
• Μορφή: Ηλεκτρονική πηγή Ηλ. βιβλίο
• Γλώσσα: English
• Έκδοση: New York, NY : Springer New York : Imprint: Springer, 2013.
• Θέματα: 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...

Πίνακας περιεχομένων:

• 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.