Kniha Generating Hardware Assertion Checkers Marc Boulé

Generating Hardware Assertion Checkers

For Hardware Verification, Emulation, Post-Fabrication Debugging and On-Line Monitoring

Jazyk: Angličtina
Vazba: Brožovaná
Vydavatel: Springer
Dostupnost: Skladem u dodavatele
Odesíláme za 5-8 dnů
2 286
This book presents an "under-the-hood" view of generating assertion checkers. It gives a unique and...

Informace o knize

Jazyk
Angličtina
Vazba
Kniha - Brožovaná
Vydáno
2010
Stránek
280
EAN
9789048179220
ISBN
904817922X
Enbook ID
01976035
Vydavatel
Hmotnost
460
Rozměry
375 x 484 x 17

Kompletní popis

This book presents an "under-the-hood" view of generating assertion checkers. It gives a unique and consistent perspective on employing assertions in such areas as specification, verification, debugging, on-line monitoring and design quality improvement.

Mohlo by vás zajímat

Behind Closed Doors

DR SETH ALEXANDER TH
283
501

Zeiten und Bilder

Barbara Klemm
1 138

I Run to You

Brenda Gonet
310
348

ANNUAL REPORT

INDIANA. SECRETARY O
855

Russian Gothic

Ilona Yazhbin Chavasse
429
343
501

Fenway Park

David Hickey
459

Lord in the Fires

James Maloney
721

Persecuted

Robin Parrish
370
977

Pawnee Mythology

George A. Dorsey
590

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

291

Costos en Servicios de Salud

Arley Torres Hinestroza
1 513

Idol w ogniu

Rin Usami
180

Le Désordre de la mémoire

Pieyre de Mandiargues
678
307
267

Répertoire 2

Hans-Günter Heumann
607
293

El cajón de los pelos

Emmanuelle Pagano
444