Assertion-Based Design - Harry D. Foster - Böcker - Springer-Verlag New York Inc. - 9781402080272 - 19 maj 2004
Om omslag och titel inte matchar är det titeln som gäller

Assertion-Based Design 2nd ed. 2004 edition

Pris
SEK 1.609

Beställningsvara

Förväntad leverans 23 sep - 1 okt
Få avisering om nya utgåvor med Harry D. Foster
Lägg till din iMusic-önskelista
eller

Inte betygsatt ännu

Finns även som:

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

Media Böcker     Inbunden Bok   (Inbunden bok med hårda pärmar och skyddsomslag)
Releasedatum 19 maj 2004
ISBN13 9781402080272
Utgivare Springer-Verlag New York Inc.
Antal sidor 390
Mått 163 × 241 × 28 mm   ·   820 g
Språk Engelska  

Fler produkter med Harry D. Foster

Visa alla

Mer från samma **utgivare**