Könyv Generating Hardware Assertion Checkers Marc Boule

Generating Hardware Assertion Checkers

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

Nyelv: Angol
Kötés: Kemény kötésű
Elérhetőség: Beszállítói készleten alacsony példányszámban
Küldés 13-18 napon belül
40 590 Ft
Assertion-based design is a powerful new paradigm that is facilitating quality improvement in electr...

Információk a könyvről

Nyelv
Angol
Kötés
Könyv - Kemény kötésű
Kiadva
2008
oldal
280
EAN
9781402085857
ISBN
1402085850
Enbook ID
01418451
Súly
1320
Méretek
155 x 235 x 21

Teljes leírás

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.

Érdekelheti

10 744 Ft

Contre-Jour

Gabriel Josipovici
5 138 Ft

Contesting Secularism

Anders Berg-Sorensen
86 872 Ft
9 718 Ft
10 357 Ft

Foresters

Tennyson Alfred Tennyson
6 092 Ft

Imagined Mobility

Michiel Baas
46 524 Ft

Overstory

Richard Powers
6 636 Ft

The Star Tarot

Cathy McClelland
10 186 Ft

The Other Fellow

F. Hopkinson Smith
8 404 Ft
10 658 Ft
9 318 Ft

Offa's Dyke Path

Keith Carter
5 894 Ft

Revolt in Athens

John O. Iatrides
49 219 Ft
4 863 Ft
43 330 Ft
18 919 Ft

The Dream Thieves

Maggie Stiefvater
3 325 Ft

Girl Behind the Curtain

Stella Knightley
4 382 Ft

Azok a vásárlók, akik ezt a könyvet megvásárolták, a következőket is megvásárolták