Kniha Correct Hardware Design and Verification Methods Dominique Borrione

Correct Hardware Design and Verification Methods

13th IFIP WG 10.5Advanced Research, Working Conference, CHARME 2005, Saarbrücken, Germany, October 3-6, 2005, Proceedings

Jazyk: Angličtina
Vazba: Brožovaná
Dostupnost: Skladem u dodavatele
Odesíláme za 5-8 dnů
1 147
This book constitutes the refereed proceedings of the 13th IFIP WG 10.5 Advanced Research Working Co...

Informace o knize

Jazyk
Angličtina
Vazba
Kniha - Brožovaná
Vydáno
2005
Stránek
414
EAN
9783540291053
ISBN
3540291059
Enbook ID
01561190
Hmotnost
1330
Rozměry
155 x 235 x 24

Kompletní popis

This book constitutes the refereed proceedings of the 13th IFIP WG 10.5 Advanced Research Working Conference on Correct Hardware Design and Verification Methods, CHARME 2005, held in Saarbrücken, Germany, in October 2005.§The 21 revised full papers and 18 short papers presented together with 2 invited talks and one tutorial were carefully reviewed and selected from 79 submissions. The papers are organized in topical sections on functional approaches to design description, game solving approaches, abstraction, algorithms and techniques for speeding (DD-based) verification, real time and LTL model checking, evaluation of SAT-based tools, model reduction, and verification of memory hierarchy mechanisms.

Mohlo by vás zajímat

Life in the Far West

George F. Ruxton
424

Pointing at the Moon

Jay L. Garfield
883

Runaway

Joyce Case
299

Mexico

Michael Hogan
229

Punta Gorda

Ann M. O'Phelan
460
508
979

Temporomandibular Disorders

Henry A. Gremillion
2 457
230

Dreamer

Delilah Gose
351
424

Style is Eternal

Nicole Jenkins
765

Blow the Trumpet in Zion!

Haynes Frederick D. III
669
1 210

Cruel as the Grave

Emma Dorothy Eliza Nevitte Southworth
357

Jailed for Possession

Catherine Carstairs
879
4 870

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

Offener Himmel - weiter Raum

Hans-Christoph Goßmann
551
287

Les Napolitains

Marcelle Padovani
458
291
924
1 173

Malé životy

Milan Čarňanský
124