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

Titolo: $listing_disp.getBaseListing().getTitle()



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à: 3
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,47
Convertire valuta

Aggiungere al carrello

Spese di spedizione: EUR 3,74
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
Ergodebooks
(RICHMOND, TX, U.S.A.)
Valutazione libreria
[?]

Descrizione libro Cambridge University Press, 2009. Hardcover. Condizione libro: New. 1. Codice libro della libreria DADAX0521859727

Maggiori informazioni su questa libreria | Fare una domanda alla libreria

Compra nuovo
EUR 28,64
Convertire valuta

Aggiungere al carrello

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

4.

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 34,28
Convertire valuta

Aggiungere al carrello

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

5.

ISBN 10: 0521859727 ISBN 13: 9780521859721
Nuovi Rilegato Quantità: 1
Da
LIMEROCK BOOKS INC.
(NEW CANAAN, CT, 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 43,45
Convertire valuta

Aggiungere al carrello

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

6.

Dhiraj K. Pradhan
ISBN 10: 0521859727 ISBN 13: 9780521859721
Nuovi Quantità: 1
Da
Castle Rock
(Pittsford, NY, U.S.A.)
Valutazione libreria
[?]

Descrizione libro Condizione libro: Brand New. Book Condition: Brand New. Codice libro della libreria 97805218597211.0

Maggiori informazioni su questa libreria | Fare una domanda alla libreria

Compra nuovo
EUR 47,24
Convertire valuta

Aggiungere al carrello

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

7.

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

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

Maggiori informazioni su questa libreria | Fare una domanda alla libreria

Compra nuovo
EUR 66,38
Convertire valuta

Aggiungere al carrello

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

8.

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 85,50
Convertire valuta

Aggiungere al carrello

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

9.

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 93,70
Convertire valuta

Aggiungere al carrello

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

10.

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 95,25
Convertire valuta

Aggiungere al carrello

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

Vedi altre 14 copie di questo libro

Vedi tutti i risultati per questo libro