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

by Xiaoke Qin, Prabhat Mishra, Mingsong Chen, et al.

Book Overview

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

• Format: Paperback
• Language: English
• ISBN: 1489986294
• ISBN13: 9781489986290
• Release Date: September 2014
• Publisher: Springer
• Length: 250 Pages
• Weight: 0.85 lbs.
• Dimensions: 0.6" x 6.1" x 9.2"