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.

Les informations fournies dans la section � A propos du livre � peuvent faire r�f�rence � une autre �dition de ce titre.

Description de la librairie

The Saint Bookstore has a range of over 1 million titles available.

Visitez la page d�accueil du vendeur

Informations commerciales relatives au vendeur

SB ONLINE LTD
50 Devonshire Road, Southport, PR9 7BZ, United Kingdom

Conditions de vente :

Please order through the Abebooks checkout. We only take orders through Abebooks - We don't take direct orders by email or phone.

Refunds or Returns: A full refund of the purchase price will be given if returned within 30 days in undamaged condition.

As a seller on abebooks we adhere to the terms explained at http://www.abebooks.co.uk/docs/HelpCentral/buyerIndex.shtml - if you require further assistance please email us at orders@thesaintbookstore.co.uk

Conditions de livraison :

Most orders usually ship within 1-3 business days, but some can take up to 7 days.

Modes de paiement
accept�s par le vendeur

Ajouter aux demandes de livres

Articles li�s � System-Level Validation: High-Level Modeling and Directed...

System-Level Validation: High-Level Modeling and Directed Test Generation Techniques

Mingsong Chen

Neuf(s) - Couverture souple

Informations commerciales relatives au vendeur