SULJE VALIKKO

avaa valikko

Ian G. Harris | Akateeminen Kirjakauppa

Haullasi löytyi yhteensä 4 tuotetta
Haluatko tarkentaa hakukriteerejä?



Practical Design Verification
Dhiraj K. Pradhan; Ian G. Harris
Cambridge University Press (2009)
Kovakantinen kirja
123,90
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
Marine Ecosystems and Global Change
Manuel Barange; John G. Field; Roger P. Harris; Eileen E. Hofmann; R. Ian Perry; Francisco Werner
Oxford University Press (2010)
Kovakantinen kirja
126,10
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
Marine Ecosystems and Global Change
Manuel Barange; John G. Field; Roger P. Harris; Eileen E. Hofmann; R. Ian Perry; Francisco Werner
Oxford University Press (2011)
Pehmeäkantinen kirja
91,70
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
Practical Design Verification
Dhiraj K. Pradhan; Ian G. Harris
CAMBRIDGE (2012)
Verkkoaineisto
248,70
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
Practical Design Verification
123,90 €
Cambridge University Press
Sivumäärä: 288 sivua
Asu: Kovakantinen kirja
Julkaisuvuosi: 2009, 11.06.2009 (lisätietoa)
Kieli: Englanti
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).

Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
LISÄÄ OSTOSKORIIN
Tilaustuote | Arvioimme, että tuote lähetetään meiltä noin 1-3 viikossa. | Tilaa jouluksi viimeistään 27.11.2024. Tuote ei välttämättä ehdi jouluksi.
Myymäläsaatavuus
Helsinki
Tapiola
Turku
Tampere
Practical Design Verificationzoom
Näytä kaikki tuotetiedot
ISBN:
9780521859721
Sisäänkirjautuminen
Kirjaudu sisään
Rekisteröityminen
Oma tili
Omat tiedot
Omat tilaukset
Omat laskut
Lisätietoja
Asiakaspalvelu
Tietoa verkkokaupasta
Toimitusehdot
Tietosuojaseloste