Assertion-Based Design - Harry D. Foster - Bücher - Springer-Verlag New York Inc. - 9781402080272 - 19. Mai 2004
Bei Nichtübereinstimmung von Cover und Titel gilt der Titel

Assertion-Based Design 2nd ed. 2004 edition

Harry D. Foster

Preis
Fr. 169,99

Bestellware

Lieferdatum: ca. 7. - 18. Mär
Zu deiner iMusic Wunschliste hinzufügen

Auch vorhanden als:

Assertion-Based Design 2nd ed. 2004 edition

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.


390 pages, biography

Medien Bücher     Gebundenes Buch   (Buch mit hartem Rücken und steifem Einband)
Erscheinungsdatum 19. Mai 2004
ISBN13 9781402080272
Verlag Springer-Verlag New York Inc.
Seitenanzahl 390
Maße 163 × 241 × 28 mm   ·   820 g
Sprache Englisch  

Alle anzeigen

Weitere Titel von Harry D. Foster