System-Level Validation: High-Level Modeling and Directed Test Generation Techniques - Couverture souple
Synopsis
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.
Les informations fournies dans la section « Synopsis » peuvent faire référence à une autre édition de ce titre.
