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 Episodes in the Mathematics of Medieval Islam by Prabhat Mishra, Heon-Mo Koo, Mingsong Chen, Xiaoke Qin
Cover of the book Optimal Control for Mathematical Models of Cancer Therapies by Prabhat Mishra, Heon-Mo Koo, Mingsong Chen, Xiaoke Qin
Cover of the book Turbo Decoder Architecture for Beyond-4G Applications by Prabhat Mishra, Heon-Mo Koo, Mingsong Chen, Xiaoke Qin
Cover of the book The Physics of Golf by Prabhat Mishra, Heon-Mo Koo, Mingsong Chen, Xiaoke Qin
Cover of the book The Physics of Skiing by Prabhat Mishra, Heon-Mo Koo, Mingsong Chen, Xiaoke Qin
Cover of the book International Handbook of Occupational Therapy Interventions by Prabhat Mishra, Heon-Mo Koo, Mingsong Chen, Xiaoke Qin
Cover of the book Residue Reviews by Prabhat Mishra, Heon-Mo Koo, Mingsong Chen, Xiaoke Qin
Cover of the book Reviews in Fluorescence 2007 by Prabhat Mishra, Heon-Mo Koo, Mingsong Chen, Xiaoke Qin
Cover of the book Topics in Statistical Simulation by Prabhat Mishra, Heon-Mo Koo, Mingsong Chen, Xiaoke Qin
Cover of the book United States Arctic Interests by Prabhat Mishra, Heon-Mo Koo, Mingsong Chen, Xiaoke Qin
Cover of the book Essentials of Anatomic Pathology by Prabhat Mishra, Heon-Mo Koo, Mingsong Chen, Xiaoke Qin
Cover of the book Thermodynamics of Solutions by Prabhat Mishra, Heon-Mo Koo, Mingsong Chen, Xiaoke Qin
Cover of the book Social Issues in China by Prabhat Mishra, Heon-Mo Koo, Mingsong Chen, Xiaoke Qin
Cover of the book Recent Trends in Lorentzian Geometry by Prabhat Mishra, Heon-Mo Koo, Mingsong Chen, Xiaoke Qin
Cover of the book Practical Assessment and Treatment of the Patient with Headaches in the Emergency Department and Urgent Care Clinic 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