Kniha Advanced Formal Verification Rolf Drechsler

Advanced Formal Verification

Jazyk: Angličtina
Vazba: Brožovaná
Dostupnost: Skladem u dodavatele
Odesíláme za 5-8 dnů
2 286
Advanced Formal Verification shows the latest developments in the verification domain from the persp...

Informace o knize

Jazyk
Angličtina
Vazba
Kniha - Brožovaná
Vydáno
2010
Stránek
250
EAN
9781441954206
ISBN
1441954201
Enbook ID
06794578
Hmotnost
860
Rozměry
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 zajímat

Altering Nature

B. A. Lustig
3 982

Inside Out

W Atkins
149

Paediatric Dentistry

Richard Welbury
2 001
271
210
230
230
1 149
615
1 338
1 082
1 299

Zákaznicí kteří koupili tuto knihu koupili také

341
224
377

Wien

Oliver Rathkolb
255
231
416
765
721

Europa

H. A. Daniel
534

Najdi mě

André Aciman
224

Meine wilde Schönheit

Martina Stubenschrott
457
1 173
837

VIBRATORIUM

Tom Kenyon
370