Kniha Abstraction Refinement for Large Scale Model Checking Chao Wang

Abstraction Refinement for Large Scale Model Checking

Jazyk: Angličtina
Väzba: Pevná
Dostupnosť: Skladom u dodávateľa v malom množstve
Odosielame za 13-18 dní
106.19
This book summarizes recent research on abstraction techniques for model checking large digital syst...

Informácie o knihe

Jazyk
Angličtina
Väzba
Kniha - Pevná
Vydalo
2006
Stránok
179
EAN
9780387341552
ISBN
0387341552
Enbook ID
05247797
Hmotnosť
1000
Rozmery
155 x 235 x 16

Kompletný popis

This book summarizes recent research on abstraction techniques for model checking large digital system. Considering 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. The suite of algorithms presented here represents significant improvement over prior art; some have already been adopted by the EDA companies in their commercial/in-house verification tools.§

Mohlo by vás zaujímať

155.51
49.11

Caleb's Reading Log

Martha Day Zschock
7.65

Deepening Your Marriage

Jilene Scherbenske
14.14

Wild Justice

Kelley Armstrong
13.55
15.71

Waterville

Phyllis Witzler
22.39
12.27

Weaving

CHristina Martin
8.34
12.57

Zákazníci, ktorí si kúpili túto knihu, kúpili tiež

Apreciatividad

Laura Isanta
16.20
10.40
77.70
9.52

5-3-1 Methode

Dr. Martin Sewer
14.73
23.47
102.66
77.70

Lara's Theme

Detlef Wolf
18.46