ISBN 10: 0521859727 / ISBN 13: 9780521859721
Usato / Quantità: 0
Copie del libro da altre librerie
Mostra tutte le  copie di questo libro

Libro

Purtroppo questa copia non è più disponibile. Di seguito ti proponiamo una lista di copie simili.

Descrizione:

This Book is in Good Condition. Clean Copy With Light Amount of Wear. 100% Guaranteed. Summary: 1. Model checking and equivalence checking M. Fujita; 2. Transaction level system modeling D. Gajski and S. Abdi; 3. Result checking, monitors and assertions H. Foster; 4. System debugging strategies W. Wolf; 5. Test generation and coverage metrics M. Sonza Reorda; 6. System C and Vera in a verification flow F. Fummi and I. G. Harris; 7. Decision diagrams for verification M. Ciesielski, D. K. Pradhan, and A. M. Jabir; 8. Boolean satisfiability and EDA applications J. Marques-Silva. Codice inventario libreria

Su questo libro:

Book ratings provided by GoodReads):
0 valutazione media
(0 valutazioni)

Riassunto: Improve design efficiency and reduce costs with this practical guide to formal and simulation-based functional verification. Giving you a theoretical and practical understanding of the key issues involved, expert authors including Wayne Wolf and Dan Gajski explain both formal techniques (model checking, equivalence checking) and simulation-based techniques (coverage metrics, test generation). You get insights into practical issues including hardware verification languages (HVLs) and system-level debugging. The foundations of formal and simulation-based techniques are covered too, as are more recent research advances including transaction-level modeling and assertion-based verification, plus the theoretical underpinnings of verification, including the use of decision diagrams and Boolean satisfiability (SAT).

Descrizione del libro: Improve design efficiency and reduce costs with this practical guide to formal and simulation-based functional verification. Giving you a theoretical and practical understanding of the key issues involved, expert authors explain both formal and simulation-based techniques. You get insights into practical issues including hardware verification languages (HVLs) and system-level debugging.

Le informazioni nella sezione "Su questo libro" possono far riferimento a edizioni diverse di questo titolo.

Dati bibliografici

Condizione libro: Used

I migliori risultati di ricerca su AbeBooks

1.

Pradhan, Dhiraj K.; Harris, Ian G.
Editore: Cambridge University Press
ISBN 10: 0521859727 ISBN 13: 9780521859721
Usato Rilegato Quantità: 2
Da
JVG Books LLC
(Montville, NJ, U.S.A.)
Valutazione libreria
[?]

Descrizione libro Cambridge University Press. Hardcover. Condizione libro: Fine. 0521859727 Clean and Unmarked Copy. Codice libro della libreria IND000000945

Maggiori informazioni su questa libreria | Fare una domanda alla libreria

Compra usato
EUR 17,26
Convertire valuta

Aggiungere al carrello

Spese di spedizione: EUR 3,69
In U.S.A.
Destinazione, tempi e costi

2.

PRADHAN, DHIRAJ K.
Editore: CAMBRIDGE U.P., CAMBRIDGE (2009)
ISBN 10: 0521859727 ISBN 13: 9780521859721
Nuovi Rústica Quantità: 1
Da
OMM Campus Libros
(Madrid, MADRI, Spagna)
Valutazione libreria
[?]

Descrizione libro CAMBRIDGE U.P., CAMBRIDGE, 2009. Rústica. Condizione libro: Nuevo. Condizione sovraccoperta: Nuevo. 1. LIBRO. Codice libro della libreria 887988

Maggiori informazioni su questa libreria | Fare una domanda alla libreria

Compra nuovo
EUR 28,49
Convertire valuta

Aggiungere al carrello

Spese di spedizione: EUR 19,90
Da: Spagna a: U.S.A.
Destinazione, tempi e costi

3.

Dhiraj K. Pradhan; Ian G. Harris
Editore: Cambridge University Press (2009)
ISBN 10: 0521859727 ISBN 13: 9780521859721
Nuovi Rilegato Quantità: 1
Da
Irish Booksellers
(Rumford, ME, U.S.A.)
Valutazione libreria
[?]

Descrizione libro Cambridge University Press, 2009. Hardcover. Condizione libro: New. book. Codice libro della libreria 0521859727

Maggiori informazioni su questa libreria | Fare una domanda alla libreria

Compra nuovo
EUR 33,18
Convertire valuta

Aggiungere al carrello

Spese di spedizione: GRATIS
In U.S.A.
Destinazione, tempi e costi

4.

ISBN 10: 0521859727 ISBN 13: 9780521859721
Nuovi Rilegato Quantità: 1
Da
LIMEROCK BOOKS INC.
(SARASOTA, FL, U.S.A.)
Valutazione libreria
[?]

Descrizione libro Hardcover. Condizione libro: New. This Book is in Good Condition; Customer Satisfaction Comes First.Delivery Time 4-12 days. 100% Money back Guaranteed!!!. Codice libro della libreria 0521859727

Maggiori informazioni su questa libreria | Fare una domanda alla libreria

Compra nuovo
EUR 42,92
Convertire valuta

Aggiungere al carrello

Spese di spedizione: EUR 3,69
In U.S.A.
Destinazione, tempi e costi

5.

Pradhan, Dhiraj K.
Editore: Cambridge University Press (2009)
ISBN 10: 0521859727 ISBN 13: 9780521859721
Nuovi Quantità: > 20
Da
Books2Anywhere
(Fairford, GLOS, Regno Unito)
Valutazione libreria
[?]

Descrizione libro Cambridge University Press, 2009. HRD. Condizione libro: New. New Book. Shipped from UK in 4 to 14 days. Established seller since 2000. Codice libro della libreria FM-9780521859721

Maggiori informazioni su questa libreria | Fare una domanda alla libreria

Compra nuovo
EUR 82,79
Convertire valuta

Aggiungere al carrello

Spese di spedizione: EUR 10,40
Da: Regno Unito a: U.S.A.
Destinazione, tempi e costi

6.

Dhiraj K. Pradhan, Ian G. Harris
Editore: CAMBRIDGE UNIVERSITY PRESS, United Kingdom (2009)
ISBN 10: 0521859727 ISBN 13: 9780521859721
Nuovi Rilegato Quantità: 10
Da
The Book Depository
(London, Regno Unito)
Valutazione libreria
[?]

Descrizione libro CAMBRIDGE UNIVERSITY PRESS, United Kingdom, 2009. Hardback. Condizione libro: New. New.. 229 x 155 mm. Language: English . Brand New Book. Improve design efficiency and reduce costs with this practical guide to formal and simulation-based functional verification. Giving you a theoretical and practical understanding of the key issues involved, expert authors including Wayne Wolf and Dan Gajski explain both formal techniques (model checking, equivalence checking) and simulation-based techniques (coverage metrics, test generation). You get insights into practical issues including hardware verification languages (HVLs) and system-level debugging. The foundations of formal and simulation-based techniques are covered too, as are more recent research advances including transaction-level modeling and assertion-based verification, plus the theoretical underpinnings of verification, including the use of decision diagrams and Boolean satisfiability (SAT). Codice libro della libreria AAA9780521859721

Maggiori informazioni su questa libreria | Fare una domanda alla libreria

Compra nuovo
EUR 92,22
Convertire valuta

Aggiungere al carrello

Spese di spedizione: GRATIS
Da: Regno Unito a: U.S.A.
Destinazione, tempi e costi

7.

Dhiraj K. Pradhan, Ian G. Harris
Editore: CAMBRIDGE UNIVERSITY PRESS, United Kingdom (2009)
ISBN 10: 0521859727 ISBN 13: 9780521859721
Nuovi Rilegato Quantità: 10
Da
The Book Depository US
(London, Regno Unito)
Valutazione libreria
[?]

Descrizione libro CAMBRIDGE UNIVERSITY PRESS, United Kingdom, 2009. Hardback. Condizione libro: New. New.. 229 x 155 mm. Language: English . Brand New Book. Improve design efficiency and reduce costs with this practical guide to formal and simulation-based functional verification. Giving you a theoretical and practical understanding of the key issues involved, expert authors including Wayne Wolf and Dan Gajski explain both formal techniques (model checking, equivalence checking) and simulation-based techniques (coverage metrics, test generation). You get insights into practical issues including hardware verification languages (HVLs) and system-level debugging. The foundations of formal and simulation-based techniques are covered too, as are more recent research advances including transaction-level modeling and assertion-based verification, plus the theoretical underpinnings of verification, including the use of decision diagrams and Boolean satisfiability (SAT). Codice libro della libreria AAA9780521859721

Maggiori informazioni su questa libreria | Fare una domanda alla libreria

Compra nuovo
EUR 92,48
Convertire valuta

Aggiungere al carrello

Spese di spedizione: GRATIS
Da: Regno Unito a: U.S.A.
Destinazione, tempi e costi

8.

Pradhan, Dhiraj K. (Editor)/ Harris, Ian G. (Editor)
Editore: Cambridge University Press (2009)
ISBN 10: 0521859727 ISBN 13: 9780521859721
Nuovi Rilegato Quantità: 1
Da
Revaluation Books
(Exeter, Regno Unito)
Valutazione libreria
[?]

Descrizione libro Cambridge University Press, 2009. Hardcover. Condizione libro: Brand New. 1st edition. 272 pages. 9.84x6.93x0.71 inches. In Stock. Codice libro della libreria __0521859727

Maggiori informazioni su questa libreria | Fare una domanda alla libreria

Compra nuovo
EUR 107,89
Convertire valuta

Aggiungere al carrello

Spese di spedizione: EUR 6,93
Da: Regno Unito a: U.S.A.
Destinazione, tempi e costi

9.

DHIRAJ K. PRADHAN , IAN G. HARRIS
ISBN 10: 0521859727 ISBN 13: 9780521859721
Nuovi Rilegato Quantità: 1
Da
Herb Tandree Philosophy Books
(Stroud, GLOS, Regno Unito)
Valutazione libreria
[?]

Descrizione libro 2009. Hardback. Condizione libro: NEW. 9780521859721 This listing is a new book, a title currently in-print which we order directly and immediately from the publisher. Codice libro della libreria HTANDREE0480809

Maggiori informazioni su questa libreria | Fare una domanda alla libreria

Compra nuovo
EUR 112,01
Convertire valuta

Aggiungere al carrello

Spese di spedizione: EUR 9,24
Da: Regno Unito a: U.S.A.
Destinazione, tempi e costi

10.

Pradhan, Dhiraj K.
Editore: Cambridge University Press (2009)
ISBN 10: 0521859727 ISBN 13: 9780521859721
Nuovi Quantità: 12
Da
PBShop
(Wood Dale, IL, U.S.A.)
Valutazione libreria
[?]

Descrizione libro Cambridge University Press, 2009. HRD. Condizione libro: New. New Book.Shipped from US within 10 to 14 business days. Established seller since 2000. Codice libro della libreria IB-9780521859721

Maggiori informazioni su questa libreria | Fare una domanda alla libreria

Compra nuovo
EUR 126,24
Convertire valuta

Aggiungere al carrello

Spese di spedizione: EUR 3,69
In U.S.A.
Destinazione, tempi e costi

Vedi altre 9 copie di questo libro

Vedi tutti i risultati per questo libro