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 |
Test Generation using Design and Property Decompositions |
Learning-Oriented Property Decomposition Approaches |
Directed Test Generation for Multicore Architectures |
Test Generation for Cache Coherence Validation |
Reuse of System-Level Validation Efforts |
Conclusions |