Bemærk: Kan ikke leveres før jul.
Forventes på lager: 23-08-2016
This book is a comprehensive guide to assertion-based verification of hardware designs using System Verilog Assertions (SVA). The book makes SVA usable and accessible for hardware designers, verification engineers, formal verification specialists and EDA tool developers.
| Forlag | Springer International Publishing AG |
| Forfattere | Eduard Cerny, Surrendra Dudani, John Havlicek, Dmitry Korchemny |
| Type | Bog |
| Format | Paperback / softback |
| Sprog | Engelsk |
| Udgave | Softcover reprint of the original 2nd ed. 2015 |
| Udgivelsesdato | 23-08-2016 |
| Første udgivelsesår | 2016 |
| Illustrationer | 173 Illustrations, black and white; XIX, 590 p. 173 illus. |
| Originalsprog | Switzerland |
| Sideantal | 590 |
| Indbinding | Paperback / softback |
| Forlag | Springer International Publishing AG |
| Sideoplysninger | 590 pages, 173 Illustrations, black and white; XIX, 590 p. 173 illus. |
| Mål | 235 x 155 |
| ISBN-13 / EAN-13 | 9783319331096 |