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 Gaia’s Body by Prabhat Mishra, Heon-Mo Koo, Mingsong Chen, Xiaoke Qin
Cover of the book Solar Sails by Prabhat Mishra, Heon-Mo Koo, Mingsong Chen, Xiaoke Qin
Cover of the book Risk and Reward by Prabhat Mishra, Heon-Mo Koo, Mingsong Chen, Xiaoke Qin
Cover of the book Coronary Magnetic Resonance Angiography by Prabhat Mishra, Heon-Mo Koo, Mingsong Chen, Xiaoke Qin
Cover of the book Handbook of Ethnic Conflict by Prabhat Mishra, Heon-Mo Koo, Mingsong Chen, Xiaoke Qin
Cover of the book Classical Mechanics by Prabhat Mishra, Heon-Mo Koo, Mingsong Chen, Xiaoke Qin
Cover of the book Propagation Engineering in Wireless Communications by Prabhat Mishra, Heon-Mo Koo, Mingsong Chen, Xiaoke Qin
Cover of the book Neuroinflammation and Neurodegeneration by Prabhat Mishra, Heon-Mo Koo, Mingsong Chen, Xiaoke Qin
Cover of the book Bidding for Development by Prabhat Mishra, Heon-Mo Koo, Mingsong Chen, Xiaoke Qin
Cover of the book Applications of Mathematics and Informatics in Military Science by Prabhat Mishra, Heon-Mo Koo, Mingsong Chen, Xiaoke Qin
Cover of the book Cognitive Strategy Research by Prabhat Mishra, Heon-Mo Koo, Mingsong Chen, Xiaoke Qin
Cover of the book Children’s Eyewitness Memory by Prabhat Mishra, Heon-Mo Koo, Mingsong Chen, Xiaoke Qin
Cover of the book Frontiers in Cancer Research by Prabhat Mishra, Heon-Mo Koo, Mingsong Chen, Xiaoke Qin
Cover of the book Solid Mechanics by Prabhat Mishra, Heon-Mo Koo, Mingsong Chen, Xiaoke Qin
Cover of the book Solid State Lighting Reliability 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