Bestellen Terug

Hoofdkenmerken

Auteur:	Foster, Harry D.; Krolnik
Titel:	Creating Assertion-Based IP
Uitgever:	Springer-Verlag New York Inc.
ISBN:	9781441942180
Serie:	Integrated Circuits and
Editie:	Softcover reprint of hardcover 1st ed. 2008
Land van oorsprong:	United States
Prijs:	€ 133.09
Verschijningsdatum:	12-02-2010
Bericht:	Langere levertijd (2-3 weken)

Inhoudelijke kenmerken

Leesniveau:	Professional & Vocational
Categorie:	Computer-aided design (CAD)
Geillustreerd:	XVIII, 318 p.

Technische kenmerken

Verschijningsvorm:	Paperback / softback
Paginas:	318
Hoogte mm.:	235
Breedte mm.:	155
Gewicht gr.:	516

 

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).