Generating Hardware Assertion Checkers

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

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

Autor: Marc Boule, Zeljko Zilic

Język:

Oprawa: Twarda

Wydawca: Springer-Verlag New York Inc.

Dostępność: Dostępna u dostawcy w małych ilościach

Wysyłamy za 13-18 dni

470.49 zł

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

Informacje o książce

Autor

Marc Boule, Zeljko Zilic

Język

Angielski

Oprawa

Książka - Twarda

Data wydania

2008

strony

280

EAN

9781402085857

ISBN

1402085850

Enbook ID

01418451

Wydawca

Springer-Verlag New York Inc.

Waga

1320

Wymiary

155 x 235 x 21

Pełny opis

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.

Możesz być zainteresowany

Klienci, którzy kupili tę książkę, kupili również

Najczęściej wyszukiwane

Categories

Authors

Publishers

Produkty

Produkty

Najczęściej wyszukiwane

Categories

Authors

Publishers

Produkty

Produkty

Generating Hardware Assertion Checkers

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

Informacje o książce

Pełny opis

Możesz być zainteresowany

Klienci, którzy kupili tę książkę, kupili również