Formal Equivalence Checking and Design Debugging

229,00 €
+ 6,99 € Spedizione
  • product image
Controllo dell'equivalenza formale e debug del progetto

Formal Equivalence Checking and Design Debugging

  • Marchio: Unbranded
Venduto da:

Formal Equivalence Checking and Design Debugging

  • Marchio: Unbranded

229,00 €

Disponibile
+ 6,99 € Spedizione

Politica di reso a 14 giorni

Venduto da:

229,00 €

Disponibile
+ 6,99 € Spedizione

Politica di reso a 14 giorni

Metodi di pagamento:

Descrizione

Formal Equivalence Checking and Design Debugging

1 Introduzione. - 1. 1 Problemi di interesse. - 1. 2 Organizzazione. - I Controllo di equivalenza. - 2 Verifica simbolica. - 3 Verifica incrementale per circuiti combinatori. - 4 Verifica incrementale per circuiti sequenziali. - 5 AQUILA: un verificatore di equivalenza locale basato su BDD. - 6 Algoritmo per la verifica dei circuiti temporizzati. - 7 Verifica RTL-to-gate 123. - II Debug logico. - 8 Introduzione al debug logico. - 9 ErrorTracer: Diagnosi degli errori mediante simulazione dei guasti. - 10 Estensione alla diagnosi sequenziale degli errori. - 11 Rettifica logica incrementale. Lingua: Inglese
  • Marchio: Unbranded
  • Categoria: Educazione
  • Numero di pagine: 229
  • Casa editrice/Casa discografica: Springer
  • Data di pubblicazione: 2012/09/30
  • Lingua: Inglese
  • Artista: Shi-Yu Huang
  • Formato: Libro in brossura
  • ID Fruugo: 343652760-752833792
  • ISBN: 9781461376064

Consegne e Resi

Spedito entro 4 giorni

  • STANDARD: 6,99 € - Consegna tra mer 04 febbraio 2026–lun 09 febbraio 2026

Spedizione da Regno Unito.

Facciamo del nostro meglio per assicurare che i prodotti che ordini vengano consegnati integralmente e secondo le tue indicazioni. Tuttavia, nel caso dovessi ricevere un ordine incompleto, oppure articoli differenti rispetto a quelli che hai ordinato, o se c'è qualche altro motivo per il quale non sei soddisfatto dell'ordine, puoi effettuare il reso dell'ordine, o qualsiasi prodotto incluso nell'ordine e ricevere un rimborso completo per gli articoli. Visualizza la politica di reso completa