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 Advances in Dynamic Network Modeling in Complex Transportation Systems by Prabhat Mishra, Heon-Mo Koo, Mingsong Chen, Xiaoke Qin
Cover of the book Sepsis by Prabhat Mishra, Heon-Mo Koo, Mingsong Chen, Xiaoke Qin
Cover of the book Diabetes and Kidney Disease by Prabhat Mishra, Heon-Mo Koo, Mingsong Chen, Xiaoke Qin
Cover of the book Nonoscillation Theory of Functional Differential Equations with Applications by Prabhat Mishra, Heon-Mo Koo, Mingsong Chen, Xiaoke Qin
Cover of the book Operative Techniques for Severe Liver Injury by Prabhat Mishra, Heon-Mo Koo, Mingsong Chen, Xiaoke Qin
Cover of the book Biophysical Regulation of Vascular Differentiation and Assembly by Prabhat Mishra, Heon-Mo Koo, Mingsong Chen, Xiaoke Qin
Cover of the book Experimental Hematology Today by Prabhat Mishra, Heon-Mo Koo, Mingsong Chen, Xiaoke Qin
Cover of the book Contemporary Methods for Speech Parameterization by Prabhat Mishra, Heon-Mo Koo, Mingsong Chen, Xiaoke Qin
Cover of the book Nonlinear Inclusions and Hemivariational Inequalities by Prabhat Mishra, Heon-Mo Koo, Mingsong Chen, Xiaoke Qin
Cover of the book An Introduction to Biomechanics by Prabhat Mishra, Heon-Mo Koo, Mingsong Chen, Xiaoke Qin
Cover of the book Management of Sexual Dysfunction in Men and Women by Prabhat Mishra, Heon-Mo Koo, Mingsong Chen, Xiaoke Qin
Cover of the book Communimetrics by Prabhat Mishra, Heon-Mo Koo, Mingsong Chen, Xiaoke Qin
Cover of the book Institutional Analysis and Praxis by Prabhat Mishra, Heon-Mo Koo, Mingsong Chen, Xiaoke Qin
Cover of the book Neurochemical Mechanisms in Disease by Prabhat Mishra, Heon-Mo Koo, Mingsong Chen, Xiaoke Qin
Cover of the book REST: Advanced Research Topics and Practical Applications 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