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

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

Descripción completa

Detalles Bibliográficos
Clasificación:Libro Electrónico
Autores principales: Chen, Mingsong (Autor), Qin, Xiaoke (Autor), Koo, Heon-Mo (Autor), Mishra, Prabhat (Autor)
Autor Corporativo: SpringerLink (Online service)
Formato: Electrónico eBook
Idioma:Inglés
Publicado: New York, NY : Springer New York : Imprint: Springer, 2013.
Edición:1st ed. 2013.
Temas:
Electronic circuits.
Electronics.
Microprocessors.
Computer architecture.
Electronic Circuits and Systems.
Electronics and Microelectronics, Instrumentation.
Processor Architectures.
Acceso en línea:Texto Completo
Tabla de Contenidos:
  • 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.

Ejemplares similares