home libri books Fumetti ebook dvd top ten sconti 0 Carrello


Torna Indietro

wang chao; hachtel gary d.; somenzi fabio - abstraction refinement for large scale model checking

Abstraction Refinement for Large Scale Model Checking

; ;




Disponibilità: Normalmente disponibile in 15 giorni
A causa di problematiche nell'approvvigionamento legate alla Brexit sono possibili ritardi nelle consegne.


PREZZO
121,98 €
NICEPRICE
115,88 €
SCONTO
5%



Questo prodotto usufruisce delle SPEDIZIONI GRATIS
selezionando l'opzione Corriere Veloce in fase di ordine.


Pagabile anche con Carta della cultura giovani e del merito, 18App Bonus Cultura e Carta del Docente


Facebook Twitter Aggiungi commento


Spese Gratis

Dettagli

Genere:Libro
Lingua: Inglese
Editore:

Springer

Pubblicazione: 12/2014
Edizione: 2006





Trama

Abstraction Refinement for Large Scale Model Checking summarizes recent research on abstraction techniques for model checking large digital system. Considering both the size of today's digital systems and the capacity of state-of-the-art verification algorithms, abstraction is the only viable solution for the successful application of model checking techniques to industrial-scale designs. This book describes recent research developments in automatic abstraction refinement techniques. The suite of algorithms presented in this book has demonstrated significant improvement over prior art; some of them have already been adopted by the EDA companies in their commercial/in-house verification tools.




Sommario

Symbolic Model Checking.- Abstraction.- Refinement.- Compositional SCC Analysis.- Disjunctive Decomposition.- Far Side Image Computation.- Refining SAT Decision Ordering.- Conclusions.










Altre Informazioni

ISBN:

9781489993953

Condizione: Nuovo
Collana: Integrated Circuits and Systems
Dimensioni: 235 x 155 mm Ø 454 gr
Formato: Brossura
Illustration Notes:XIV, 179 p.
Pagine Arabe: 179
Pagine Romane: xiv


Dicono di noi