Kniha Advanced Formal Verification Rolf Drechsler

Advanced Formal Verification

Jazyk: Angličtina
Väzba: Brožovaná
Dostupnosť: Skladom u dodávateľa
Odosielame za 5-8 dní
100.07
Advanced Formal Verification shows the latest developments in the verification domain from the persp...

Informácie o knihe

Jazyk
Angličtina
Väzba
Kniha - Brožovaná
Vydalo
2010
Stránok
250
EAN
9781441954206
ISBN
1441954201
Enbook ID
06794578
Hmotnosť
860
Rozmery
155 x 235 x 16

Kompletný popis

Advanced Formal Verification shows the latest developments in the verification domain from the perspectives of the user and the developer. World leading experts describe the underlying methods of today's verification tools and describe various scenarios from industrial practice. In the first part of the book the core techniques of today's formal verification tools, such as SAT and BDDs are addressed. In addition, multipliers, which are known to be difficult, are studied. The second part gives insight in professional tools and the underlying methodology, such as property checking and assertion based verification. Finally, analog components have to be considered to cope with complete system on chip designs. §

Mohlo by vás zaujímať

Altering Nature

B. A. Lustig
164.85
7.66

Inside Out

W Atkins
6.18

Paediatric Dentistry

Richard Welbury
92.00
11.39
11.20
8.74
9.53
9.53
47.57
25.45
40.39
55.34
47.57
53.76

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

14.15
8.50
16.60

Wien

Oliver Rathkolb
10.51
9.53
17.19
31.64
29.88

Europa

H. A. Daniel
22.11

Najdi mě

André Aciman
9.99

Meine wilde Schönheit

Martina Stubenschrott
20.04
48.55
34.69

VIBRATORIUM

Tom Kenyon
16.31