Bemærk: Kan ikke leveres før jul.
Forventes på lager: 30-06-2003
The focus of this volume is three-fold: how to specify assertions; how to create and adopt a methodology that supports assertion-based design (predominately for RTL design); and what to do with the assertions and methodology once you have them.
| Forlag | Kluwer Academic Publishers |
| Forfattere | Harry D. Foster, Adam C. Krolnik, David J. Lacey |
| Type | Bog |
| Format | Hardback |
| Sprog | Engelsk |
| Udgave | 2nd ed. |
| Udgivelsesdato | 30-06-2003 |
| Første udgivelsesår | 2003 |
| Illustrationer | 318 black & white illustrations |
| Originalsprog | United States |
| Sideantal | 392 |
| Indbinding | Hardback |
| Forlag | Kluwer Academic Publishers |
| Sideoplysninger | 392 pages, 318 black & white illustrations |
| Mål | 235 x 155 |
| ISBN-13 / EAN-13 | 9781402074981 |