Bestellen Terug

Hoofdkenmerken

Auteur:	Foster, Harry D.; Krolnik
Titel:	Assertion-Based Design
Uitgever:	Springer-Verlag New York Inc.
ISBN:	9781441954626
Editie:	Softcover reprint of hardcover 2nd ed. 2004
Land van oorsprong:	United States
Prijs:	€ 199.64
Verschijningsdatum:	12-10-2010
Bericht:	Langere levertijd (2-3 weken)

Inhoudelijke kenmerken

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

Technische kenmerken

Verschijningsvorm:	Paperback / softback
Paginas:	390
Hoogte mm.:	235
Breedte mm.:	155
Gewicht gr.:	635

 

Inhoud:

Chapter 3 Specifying RTL Properties 61 3. 3 Declarative versus procedural 67 3. 3 RTL assertion specification techniques 68 RTL invariant assertions 69 3. 2 Declaring properties with PSL 72 RTL cycle related assertions 73 3. 3 3. 1 Immediate assertions 84 3. 3 System functions 95 3. 3 Assertions across simulation time slots 111 4.