Bestellen Terug

Hoofdkenmerken

Auteur:	Foster, Harry D.; Krolnik
Titel:	Creating Assertion-Based IP
Uitgever:	Springer-Verlag New York Inc.
ISBN:	9780387366418
ISBN boekversie:	9780387683980
Serie:	Integrated Circuits and
Editie:	2008 ed.
Land van oorsprong:	United States
Prijs:	€ 159.71
Verschijningsdatum:	26-11-2007
Bericht:	Langere levertijd (2-3 weken)

Inhoudelijke kenmerken

Leesniveau:	Undergraduate
Categorie:	Electronics & communications engineering
Geillustreerd:	XVIII, 318 p.
Dewey code:	621.381548

Technische kenmerken

Verschijningsvorm:	Hardback
Paginas:	318
Hoogte mm.:	235
Breedte mm.:	155
Gewicht gr.:	670

 

Inhoud:

It demonstrates a systematic process for formal specification and formal testplanning, and also demonstrates effective use of assertions languages beyond the traditional language construct discussionsNote that there many books published on assertion languages (such as SystemVerilog assertions and PSL).