Povedzte o tejto položke priateľom:
Assertion-Based Design Harry D. Foster Softcover reprint of hardcover 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 Paperback Book (Kniha s mäkkou väzbou a lepeným chrbtom) |
| Vydané | 05. novembra 2010 |
| ISBN13 | 9781441954626 |
| Vydavatelia | Springer-Verlag New York Inc. |
| Strany | 390 |
| Rozmery | 155 × 235 × 21 mm · 580 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 )