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	Kirjat Hardcover Book (Sidottu kirja kovilla kansilla sekä suojakannella)
Julkaisupäivämäärä	keskiviikko 19. toukokuuta 2004
ISBN13	9781402080272
Tuottaja	Springer-Verlag New York Inc.
Sivujen määrä	390
Mitta	163 × 241 × 28 mm · 820 g
Kieli	English

Näytä kaikki

Lisää tuotteita Harry D. Foster

Katso kaikki joka sisältää Harry D. Foster ( Esim. Paperback Book Ja Hardcover Book )