Generating Hardware Assertion Checkers

Name: Generating Hardware Assertion Checkers
Brand: Springer-Verlag New York Inc.
SKU: 9781402085857
Price: 106.26 EUR
Availability: InStock

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

Autor: Marc Boule, Zeljko Zilic

Jazyk:

Väzba: Pevná

Vydavateľ: Springer-Verlag New York Inc.

Dostupnosť: Skladom u dodávateľa v malom množstve

Odosielame za 11-15 dní

106.26 €

Assertion-based design is a powerful new paradigm that is facilitating quality improvement in electr...

Informácie o knihe

Autor

Marc Boule, Zeljko Zilic

Jazyk

Angličtina

Väzba

Kniha - Pevná

Vydalo

2008

Stránok

280

EAN

9781402085857

ISBN

1402085850

Enbook ID

01418451

Vydavateľ

Springer-Verlag New York Inc.

Hmotnosť

1320

Rozmery

155 x 235 x 21

Kompletný popis

Assertion-based design is a powerful new paradigm that is facilitating quality improvement in electronic design. Assertions are statements used to describe properties of the design (I.e., design intent), that can be included to actively check correctness throughout the design cycle and even the lifecycle of the product. With the appearance of two new languages, PSL and SVA, assertions have already started to improve verification quality and productivity.§This is the first book that presents an under-the-hood view of generating assertion checkers, and as such provides a unique and consistent perspective on employing assertions in major areas, such as: specification, verification, debugging, on-line monitoring and design quality improvement.

Mohlo by vás zaujímať

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

Najčastejšie vyhľadávané

Categories

Authors

Publishers

Produkty

Produkty

Najčastejšie vyhľadávané

Categories

Authors

Publishers

Produkty

Produkty

Generating Hardware Assertion Checkers

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

Informácie o knihe

Kompletný popis

Mohlo by vás zaujímať

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