SULJE VALIKKO

avaa valikko

Dhiraj K. Pradhan | Akateeminen Kirjakauppa

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



Practical Design Verification
Dhiraj K. Pradhan; Ian G. Harris
Cambridge University Press (2009)
Kovakantinen kirja
122,60
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
Energy-Aware Memory Management for Embedded Multimedia Systems - A Computer-Aided Design Approach
Florin Balasa; Dhiraj K. Pradhan
Taylor & Francis Inc (2011)
Kovakantinen kirja
229,20
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
Robust SRAM Designs and Analysis
Jawar Singh; Saraju P. Mohanty; Dhiraj K. Pradhan
Springer (2012)
Kovakantinen kirja
121,30
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
Energy-Efficient Fault-Tolerant Systems
Jimson Mathew (ed.); Rishad A. Shafik (ed.); Dhiraj K. Pradhan (ed.)
Springer (2013)
Kovakantinen kirja
129,90
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
Robust SRAM Designs and Analysis
Jawar Singh; Saraju P. Mohanty; Dhiraj K. Pradhan
Springer (2014)
Pehmeäkantinen kirja
97,90
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
Energy-Efficient Fault-Tolerant Systems
Jimson Mathew (ed.); Rishad A. Shafik (ed.); Dhiraj K. Pradhan (ed.)
Springer (2016)
Pehmeäkantinen kirja
129,90
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
Energy-Aware Memory Management for Embedded Multimedia Systems - A Computer-Aided Design Approach
Florin Balasa; Dhiraj K. Pradhan
Taylor & Francis Ltd (2017)
Pehmeäkantinen kirja
88,90
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
Practical Design Verification
122,60 €
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