Povedzte o tejto položke priateľom:
Assertion-Based Design Harry D. Foster 2nd ed. 2004 edition
Assertion-Based Design
Harry D. Foster
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
| Médium | Knihy Hardcover Book (Kniha s pevnou väzbou a obalom) |
| Vydané | 19. mája 2004 |
| ISBN13 | 9781402080272 |
| Vydavatelia | Springer-Verlag New York Inc. |
| Strany | 390 |
| Rozmery | 163 × 241 × 28 mm · 820 g |
| Jazyk | Angličtina |
Viac od Harry D. Foster
Zobraziť všetkoViac od toho istého vydavateľa
Pozrieť všetko od Harry D. Foster ( napr. Hardcover Book a Paperback Book )