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 Design, Analysis, and Interpretation of Genome-Wide Association Scans by Prabhat Mishra, Heon-Mo Koo, Mingsong Chen, Xiaoke Qin
Cover of the book Optimization and Optimal Control by Prabhat Mishra, Heon-Mo Koo, Mingsong Chen, Xiaoke Qin
Cover of the book Functional Symptoms in Pediatric Disease by Prabhat Mishra, Heon-Mo Koo, Mingsong Chen, Xiaoke Qin
Cover of the book Colorectal Cancer Screening by Prabhat Mishra, Heon-Mo Koo, Mingsong Chen, Xiaoke Qin
Cover of the book Abstraction in Artificial Intelligence and Complex Systems by Prabhat Mishra, Heon-Mo Koo, Mingsong Chen, Xiaoke Qin
Cover of the book Heritage Management, Tourism, and Governance in China by Prabhat Mishra, Heon-Mo Koo, Mingsong Chen, Xiaoke Qin
Cover of the book Racism in the 21st Century by Prabhat Mishra, Heon-Mo Koo, Mingsong Chen, Xiaoke Qin
Cover of the book Longevity Genes by Prabhat Mishra, Heon-Mo Koo, Mingsong Chen, Xiaoke Qin
Cover of the book The Art of Progressive Censoring by Prabhat Mishra, Heon-Mo Koo, Mingsong Chen, Xiaoke Qin
Cover of the book Topics in Dynamics of Civil Structures, Volume 4 by Prabhat Mishra, Heon-Mo Koo, Mingsong Chen, Xiaoke Qin
Cover of the book The Mathematics of Paul Erdős II by Prabhat Mishra, Heon-Mo Koo, Mingsong Chen, Xiaoke Qin
Cover of the book Treatment of Chronic Pain by Integrative Approaches by Prabhat Mishra, Heon-Mo Koo, Mingsong Chen, Xiaoke Qin
Cover of the book The Enlightenment and Its Effects on Modern Society by Prabhat Mishra, Heon-Mo Koo, Mingsong Chen, Xiaoke Qin
Cover of the book Occupational Injuries From Electrical Shock and Arc Flash Events by Prabhat Mishra, Heon-Mo Koo, Mingsong Chen, Xiaoke Qin
Cover of the book The Somatotrophic Axis and the Reproductive Process in Health and Disease 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