Pastāsti draugiem par šo preci:
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
| Mediji | Grāmatas Paperback Book (Grāmata ar mīksto vāku un līmēto muguru) |
| Izlaists | 2010. gada 5. novembris |
| ISBN13 | 9781441954626 |
| Izdevēji | Springer-Verlag New York Inc. |
| Lapas | 390 |
| Izmēri | 155 × 235 × 21 mm · 580 g |
| Valoda | Angļu |
Vairāk no Harry D. Foster
Rādīt visuMere med samme udgiver
Skatīt visus Harry D. Foster ( piem., Hardcover Book un Paperback Book )