System-Level Validation

High-Level Modeling and Directed Test Generation Techniques

Nonfiction, Science & Nature, Technology, Electronics, Circuits
Cover of the book System-Level Validation by Prabhat Mishra, Heon-Mo Koo, Mingsong Chen, Xiaoke Qin, Springer New York
View on Amazon View on AbeBooks View on Kobo View on B.Depository View on eBay View on Walmart
Author: Prabhat Mishra, Heon-Mo Koo, Mingsong Chen, Xiaoke Qin ISBN: 9781461413592
Publisher: Springer New York Publication: September 25, 2012
Imprint: Springer Language: English
Author: Prabhat Mishra, Heon-Mo Koo, Mingsong Chen, Xiaoke Qin
ISBN: 9781461413592
Publisher: Springer New York
Publication: September 25, 2012
Imprint: Springer
Language: English

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.

View on Amazon View on AbeBooks View on Kobo View on B.Depository View on eBay View on Walmart

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.

More books from Springer New York

Cover of the book Fundamentals of Space Business and Economics by Prabhat Mishra, Heon-Mo Koo, Mingsong Chen, Xiaoke Qin
Cover of the book The Professional Practice of Environmental Management by Prabhat Mishra, Heon-Mo Koo, Mingsong Chen, Xiaoke Qin
Cover of the book Tissue Functioning and Remodeling in the Circulatory and Ventilatory Systems by Prabhat Mishra, Heon-Mo Koo, Mingsong Chen, Xiaoke Qin
Cover of the book Auditory and Vestibular Efferents by Prabhat Mishra, Heon-Mo Koo, Mingsong Chen, Xiaoke Qin
Cover of the book Statistical Performance Analysis and Modeling Techniques for Nanometer VLSI Designs by Prabhat Mishra, Heon-Mo Koo, Mingsong Chen, Xiaoke Qin
Cover of the book Molecularly Targeted Therapy for Childhood Cancer by Prabhat Mishra, Heon-Mo Koo, Mingsong Chen, Xiaoke Qin
Cover of the book The Practice of Functional Analytic Psychotherapy by Prabhat Mishra, Heon-Mo Koo, Mingsong Chen, Xiaoke Qin
Cover of the book Lasers in Aesthetic Surgery by Prabhat Mishra, Heon-Mo Koo, Mingsong Chen, Xiaoke Qin
Cover of the book HIV Treatments as Prevention (TasP) by Prabhat Mishra, Heon-Mo Koo, Mingsong Chen, Xiaoke Qin
Cover of the book Atlas of Operative Procedures in Surgical Oncology by Prabhat Mishra, Heon-Mo Koo, Mingsong Chen, Xiaoke Qin
Cover of the book Integrating Ecology and Poverty Reduction by Prabhat Mishra, Heon-Mo Koo, Mingsong Chen, Xiaoke Qin
Cover of the book High Altitude by Prabhat Mishra, Heon-Mo Koo, Mingsong Chen, Xiaoke Qin
Cover of the book Suicide Among Child Sex Offenders by Prabhat Mishra, Heon-Mo Koo, Mingsong Chen, Xiaoke Qin
Cover of the book An Introduction to Mathematical Cryptography by Prabhat Mishra, Heon-Mo Koo, Mingsong Chen, Xiaoke Qin
Cover of the book Hormonal and Genetic Basis of Sexual Differentiation Disorders and Hot Topics in Endocrinology: Proceedings of the 2nd World Conference by Prabhat Mishra, Heon-Mo Koo, Mingsong Chen, Xiaoke Qin
We use our own "cookies" and third party cookies to improve services and to see statistical information. By using this website, you agree to our Privacy Policy