Cargando…

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
Autores principales: Chen, Mingsong, Qin, Xiaoke, Koo, Heon-Mo, Mishra, Prabhat
Lenguaje:eng
Publicado: Springer 2013
Materias:
Acceso en línea:https://dx.doi.org/10.1007/978-1-4614-1359-2
http://cds.cern.ch/record/1500178