Free delivery for orders over 69.99 euro

Check order status

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

Free delivery for purchases over 69.99 €

DPD courier 4.49 € DPD point 3.99 € GLS courier 5.49 € GLS point 4.49 € Croatian Post 5.49 € Overseas courier 5.49 € Box Now 4.99 €

Contact

How to shop

Help

My account

▸ Empty :-(

Free delivery for orders over 69.99 euro

System-Level Validation

Name: System-Level Validation
Brand: Springer-Verlag New York Inc.
SKU: 01426951
Price: 94.42 EUR
Availability: InStock
Author: Mingsong Chen
ISBN: 9781461413585

High-Level Modeling and Directed Test Generation Techniques

Mingsong Chen

Xiaoke Qin

Prabhat Mishra

Language

English

Book Hardback

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

Libristo code: 01426951

230 b

94.42 €

In stock at our supplier Shipping in 10-13 days

Up to 30 days for returns

Customers also purchased

Mitarbeiterentsendung ins Ausland Thomas (Queen Mary University of London) Muller

Paperback

35.51 €

Wohneigentumsgesetz: WoEigG Verlag Groelsv

Paperback

8.72 €

L'Organisation Des Mathematiques Grecques de Theetete a Archimede Jean-Louis Gardies

Paperback

43.64 €

Le travail dans tous ses états Philippe AGHION

Paperback

24.07 €

oekonomischen Wirkungen von Wirtschaftssanktionen Katharina Schlegel

Paperback

33.71 €

Peppa Pig Mein Stickerbuch Anziehen mit Peppa Schwager & Steinlein Verlag

Paperback

6.91 €

Farma štěstí B. K. Borison

Paperback

16.05 €

Beton- und Stahlbetonbauermeister - Das prufungsrelevante Wissen Sarastro Verlag

Paperback

43.84 €

Los ni?os que fuimos, los padres que somos BEATRIZ CAZURRO

Paperback

20.16 €

Intensivtraining Gepr. Wirtschaftsfachwirt/in Michael Sielmann

Paperback

23.97 €

El sínodo de los obispos Arrieta

Paperback

18.15 €

THE PARLIAMENT OF ANIMALS · PRINCESS ALDINA TORRES NUÑEZ

Hardback

13.64 €

DECLIN ET SURVIE DES GRANDES VILLES AMERICAINES Jane JACOBS Book

Paperback

21.77 €

Die Mechanik Des Horens Und Ihre Storungen Gustav Zimmermann

Paperback

18.65 €

Recueil De Dissertations Physico-Chimiques, Presentees A Differentes Academies (1781) Jacques-Francois Demachy

Paperback

42.84 €

Sueno Americano sin cargo de interes Johnny Delgado

Paperback

19.96 €

El pozo VASILIS VASILIKOS

Paperback

10.53 €

Aile Mutlulugu; Gecimsizligin Sebep ve Careleri idris Görmez

Paperback

7.72 €

Digitale Medienprodukte Paul Klimsa

Paperback

9.92 €

Novelle per un anno. Antologia. Audiolibro. CD Audio formato MP3 Luigi Pirandello

Paperback

15.95 €

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.