LIBRISTO
LIBROAMANTO
mandatory
Become part of a community of book lovers from all over the world and get access to a whole bunch of benefits. Create an account for free
0
Free delivery for purchases over 69.99 €
DPD courier 5.99 Bpost point 7.99 Bpost 7.49 DPD point 3.49 GLS courier 4.49

Free delivery for orders over 69.99 euro.

System-Level Validation

High-Level Modeling and Directed Test Generation Techniques

Language EnglishEnglish
Book Hardback
Book System-Level Validation Mingsong Chen
Libristo code: 01426951
Publishers Springer-Verlag New York Inc., August 2012
This book covers state-of-the art techniques for high-level modeling and validation of complex hardw... Full description
? points 244 b
100.87
In stock at our supplier Shipping in 10-13 days

30-day return policy


Customers also purchased


Wohneigentumsgesetz: WoEigG Verlag Groelsv / Book Paperback
common.buy 8.60
Mitarbeiterentsendung ins Ausland Thomas (Queen Mary University of London) Muller / Book Paperback
common.buy 35.74
Das Nussknacker-Backbuch / Book Hardback
common.buy 15.28
THE PARLIAMENT OF ANIMALS · PRINCESS ALDINA TORRES NUÑEZ / Book Hardback
common.buy 14.57
El pozo VASILIS VASILIKOS / Book Paperback
common.buy 11.43
Peppa Pig Mein Stickerbuch Anziehen mit Peppa Schwager & Steinlein Verlag / Book Paperback
common.buy 6.98

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.

Actress & Polyglot
EWA KASP for
Play video
Ewa Kasp
Libristo has the largest selection of foreign-language books. That’s why I buy my books there.

About the book

Full name System-Level Validation
Language English
Binding Book - Hardback
Date of issue 2012
Number of pages 250
EAN 9781461413585
ISBN 1461413583
Libristo code 01426951
Weight 546
Dimensions 244 x 160 x 20
Give this book today
It's easy
1 Add to cart and choose Deliver as present at the checkout 2 We'll send you a voucher 3 The book will arrive at the recipient's address

You might also be interested in


POCKET FACTS YEAR 5 INTERNET INVENTION David Glover / Book Paperback
common.buy 15.49
Toast & Marmalade Emma Bridgewater / Book Paperback
common.buy 13.97
Affordable
Wings of Iraq Volume 2 Milos Sipos / Book Paperback
common.buy 16.09
12 Chapters on Nuclear Medicine Ali Gholamrezanezhad / Book Hardback
common.buy 137.94
Rose Harbor Meyers Pamela S. Meyers / Book Paperback
common.buy 15.59
Apple On An Empty Desk Rachael M. Smi Traywick / Book Paperback
common.buy 18.32
Shakespeare and the Visual Arts Professor Michele (University of Palermo) Marrapodi / Book Hardback
common.buy 235.27
Warden-Watch A R Horvath / Book Paperback
common.buy 13.76
Writing Conversational Korean Book Three Chelsea Guerra / Book Paperback
common.buy 21.16
Principles of Day Surgery Nursing Sarah Penn / Book Paperback
common.buy 75.24
Colorado General Assembly John A. Straayer / Book Paperback
common.buy 26.42
Dressmaker of Khair Khana Gayle Tzemach Lemmon / Book Paperback
common.buy 13.97

Login

Log in to your account. Don't have a Libristo account? Create one now!

 
mandatory
mandatory

Don’t have an account? Discover the benefits of having a Libristo account!

With a Libristo account, you'll have everything under control.

Create a Libristo account
Book advisor Libroamiko
Hi, I'm Libroamiko, can I help?