Generating Hardware Assertion Checkers

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

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

Autor: Marc Boule, Zeljko Zilic

Limbă:

Legare: Copertă tare

Editura: Springer-Verlag New York Inc.

Disponibilitate: În depozitul extern în cantități mici

Expediem în 13-18 zile

583.60 lei

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

Informații despre carte

Autor

Marc Boule, Zeljko Zilic

Limbă

engleză

Legare

Carte - Copertă tare

Publicat

2008

Pagini

280

EAN

9781402085857

ISBN

1402085850

Enbook ID

01418451

Editura

Springer-Verlag New York Inc.

Greutate

1320

Dimensiuni

155 x 235 x 21

Descriere completă

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.

S-ar putea să te intereseze

Clienții care au cumpărat această carte au mai cumpărat și

Cele mai căutate

Categories

Authors

Publishers

Produse

Produse

Cele mai căutate

Categories

Authors

Publishers

Produse

Produse

Generating Hardware Assertion Checkers

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

Informații despre carte

Descriere completă

S-ar putea să te intereseze

Clienții care au cumpărat această carte au mai cumpărat și