Spedizione gratuita per ordini superiori a 69,99 euro.

Controllare lo stato dell'ordine

Entra a far parte di una comunità di amanti dei libri di tutto il mondo e ottieni numerosi vantaggi. Crea un account gratuito

Spedizione gratuita con Packeta per un prezzo superiore a 69.99 €

Bartolini 4.49 € Punto Poste 5.49 € Punto Poste 5.49 € Punto Bartolini 3.49 € DHL 6.99 € GLS 7.99 €

Contatto

Come acquistare

Aiuto

Il mio account

▸ Vuoto :-(

Spedizione gratuita per ordini superiori a 69,99 euro.

Practical Design Verification

Name: Practical Design Verification
Brand: Cambridge University Press
SKU: 02047589
Price: 169.79 EUR
Availability: InStock
Author: Dhiraj K. PradhanIan G. Harris
ISBN: 9780521859721

Dhiraj K. PradhanIan G. Harris

Lingua

Inglese

Libro Rigido

Codice Libristo: 02047589

Casa editrice Cambridge University Press, giugno 2009

Improve design efficiency and reduce costs with this practical guide to formal and simulation-based... Descrizione completa

Codice Libristo: 02047589

416 b

169.79 €

Magazzino esterno Inviamo tra 9-15 giorni

30 giorni per il reso

I clienti hanno acquistato anche

Excel (versions 2024 et Microsoft 365) RIGOLLET

In brossura

32.59 €

Cours élémentaire de géologie, à l'usage de l'enseignement secondaire. 7e édition Jules Gosselet

In brossura

27.99 €

Ange movie Durand

In brossura

23.49 €

Elementos de Didática do Direito (2a ediç?o) Alfredo Braga Furtado

In brossura

0.00 €

Partnerschafts-Astrologie Akron

Rigido

21.99 €

Prevencion del fracaso escolar Minaca Laprida Maria Isabel

In brossura

33.59 €

Produktivitatsorientiertes Management von Anlagensystemen Manfred Hupfauer

In brossura

49.29 €

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).

Attrice & Poliglotta

EWA KASP per

Riproduci video

Libristo ha la più grande selezione di letteratura in lingue straniere. Per questo compro i miei libri qui.

Informazioni sul libro

Titolo completo Practical Design Verification

Autore Dhiraj K. PradhanIan G. Harris

Lingua

Inglese

Rilegatura Libro - Rigido

Data di pubblicazione 2009

Numero di pagine 288

EAN 9780521859721

ISBN 0521859727

Codice Libristo 02047589

Casa editrice Cambridge University Press

Peso 714

Dimensioni 181 x 254 x 18

Categorie

Tecnologia, Ingegneria, Agricoltura, processi industriali > Ingegneria elettronica e delle comunicazioni > Ingegneria elettronica > Elettronica: circuiti e componenti

Tecnologia, Ingegneria, Agricoltura, processi industriali > Ingegneria elettronica e delle comunicazioni > Ingegneria elettronica > Dispositivi e materiali elettronici

Informatica e Tecnologia dell’Informazione > Scienza dei calcolatori