adicionar à lista de desejos
High-Level Verification eBook
Methods And Tools For Verification Of System-Level Designs
language: english
Publisher:
SPRINGER NEW YORK, May of 2011 ‧
see product details
118,59€
10% OFF
CARD
UmxGaVRHWlNVM2hpTVRZeVdXVnpjamRqY0RacWRIRktTM1pXZWxaMk1uSmFjVXd6VERCNVdteHBTbHBrTmtWYVdqSlpNVUozYkU4elVrVmpkRk5RY1N0dll6ZFllVWRpT0ZBeFZuQm1lVVZ0TjJsSlVUQnlWVEZVZG5CRWFEbHBkMHA0TVZseGNYbGFVR2xpU1RKWVpYaEdVSFYyVFhsc05XUm1SR1paWkRKVFMzUk1ZVTA0UWprMVJsVTFObUZDVGtGbE1tazRTekk0ZEZBd2JURmtiVFpoUm1OaVJXczNlVTlTVW5aV1JYTldVM2ROU3pSd2QzWlhOVVJFWVRacmFtdDJaV2hoVUdaYU1TODJSRTVXUkhKUE5UQkNSbTVGZUZKNk0xUlJZbkI0Vm1SbWRYZDVOM2xCU1VGR1RGZFdjMHhwU3pObmJtRjBNblpZTUdsR1pFaFlkVU0yTTJWclpEUnhZblZWWVRkVWVtWmlaV0pTVDBoQ1JpdFBTa1JpVWtWV2REUXhRM2RXUlVSV1dYUnNXRVJXWVN0VGREaEpVVmxFYUhGNVJpdFNNRkJZYUhkaWFHWmlVMXB5TjJkM2RtTnpaMWRJZW01M01tcG9kekJaWW5abE1HcEZOR3BSY1RoUVdFWmpiQzlDVHpScWVIbGhXa3A2T0ZaNFNrY3ZZMnRPTWxOTlkyNWhLeXN6V2s4eldUaHRLMVJVZUZKR1dVVk9VMlEyVWpaNFNVOTZVbGR2YUdGV2JuSmlaamRFWWpkRGQyZ3ZlVUYyUjJSVWFWSk5VRXR5WkZKaE9XUXZkVmRDTUhoblpISTRLM0JGZERJeGRUWTBZVTVsVVZsalZYRTNUREZuUlVKVE5tbG9TRXcyVW5kSk1XUnVjRGwzUW5VMmIxaEpjM0pUZFdKckwzVTBZM2hUUTAxaGRHOXJkSEZVZVhaek0wa3Zjek51TTA1dlkyTTJRak5QYlZadVdYSlBhVTB3WjBkSk1WVmpkazlxZUcxUE1VTktObll2VW1Wc1NtbzFibUoyY1hSa1JURk5ZakJpUTFjclYweExkWFZ3TWs1ak9HODBOVUZWYTFSUVZqTk5TbFVyUVhvMlZsZHRjM0V2Tm1wdFQwNU5XV0ptYTFkbE1pdHNkbXMxUlZwek5ITjRSR0p5TVZoM1JHZGFjR3d2WlM5NWREWm5UelUyUkZKSGNGTXlUSG80YTNGcVVISnFSWEE0ZVhkR2JtcGxha1ZxYmtzemFGTlhRbE5VT0hWRlUwOUpiVTlpUlhSSFNUVjNaMkZHU1cxRWFVSm5TbWs0TUdKT1RqQXdhRWQzUFE9PTpxdXZPcW94bUk2Nm4vQUlCY29qcEFnPT0=
IMMEDIATE AVAILABILITY
Ebook for ADE
SYNOPSIS
The verification techniques presented in this book include methods for verifying properties of high-level designs and methods for verifying that the translation from high-level design to a low-level Register Transfer Language (RTL) design preserves semantics.
DETeBook com proteção para wookreaderILS
| Property | Description |
|---|---|
| ISBN: | 9781441993595 |
| Publisher: | SPRINGER NEW YORK |
| Release Date: | May of 2011 |
| Language: | English |
| Format: | eBook |
| Collection: | Engineering |
| Categories: |
eBooks in English
>
Art
>
Design and Illustration
|
| EAN: | 9781441993595 |
BOOKS FROM THE SAME COLLECTION
-
eBook10%Faraday LaserSpringer Nature Singapore190,21€
211,34€ -
eBook10%Dictionary Of Concrete TechnologySpringer Nature Singapore417,37€
463,74€
-
10%High-Level VerificationSPRINGER-VERLAG NEW YORK INC.121,66€ 10% CARDfree shipping
-
10%High-Level VerificationSPRINGER-VERLAG NEW YORK INC.121,66€ 10% CARDfree shipping
-
From Variability Tolerance To Approximate Computing In Parallel Integrated Architectures And AcceleratorsSpringer International Publishing AG121,66€free shipping
-
10%High-Level VerificationSPRINGER-VERLAG NEW YORK INC.121,66€ 10% CARDfree shipping