Mingsong Chen & Xiaoke Qin 
System-Level Validation [PDF ebook] 
High-Level Modeling and Directed Test Generation Techniques

Support

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, including high-level modeling of designs and faults, automated generation of directed tests, and efficient validation methodology using directed tests and assertions. The methodologies described in this book will help designers to improve the quality of their validation, performing as much validation as possible in the early stages of the design, while reducing the overall validation effort and cost.

€96.29
méthodes de payement

Table des matières

Introduction.- Modeling and Specification of So C 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.

Achetez cet ebook et obtenez-en 1 de plus GRATUITEMENT !
Langue Anglais ● Format PDF ● Pages 250 ● ISBN 9781461413592 ● Taille du fichier 6.9 MB ● Maison d’édition Springer New York ● Lieu NY ● Pays US ● Publié 2012 ● Téléchargeable 24 mois ● Devise EUR ● ID 2662583 ● Protection contre la copie DRM sociale

Plus d’ebooks du même auteur(s) / Éditeur

18 812 Ebooks dans cette catégorie