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

Inhaltsangabe

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.

Die Inhaltsangabe kann sich auf eine andere Ausgabe dieses Titels beziehen.