Forventes på lager: 27-10-2014
This book analyzes the challenges in verifying Dynamically Reconfigurable Systems (DRS) with respect to the user design and the physical implementation of such systems. Two implementations of the simulation-only layer are included: Extended Re Channel is a System C library that can be used to check DRS designs at a high level;
| Forlag | Springer International Publishing AG |
| Forfattere | Lingkan Gong, Oliver Diessel |
| Type | Bog |
| Format | Hardback |
| Sprog | Engelsk |
| Udgave | 2015 ed. |
| Udgivelsesdato | 27-10-2014 |
| Første udgivelsesår | 2014 |
| Illustrationer | 48 Illustrations, color; 24 Illustrations, black and white |
| Originalsprog | Switzerland |
| Sideantal | 216 |
| Indbinding | Hardback |
| Forlag | Springer International Publishing AG |
| Sideoplysninger | 216 pages, 48 Illustrations, color; 24 Illustrations, black and white |
| Mål | 161 x 246 x 14 |
| ISBN-13 / EAN-13 | 9783319068374 |