adicionar à lista de desejos
High-Level Verification
Methods And Tools For Verification Of System-Level Designs
language: english
Publisher:
SPRINGER-VERLAG NEW YORK INC., May of 2011 ‧
see product details
121,66€
10% OFF
CARD
Y25aQ1RURmtkVU5tTDFWUFUyc3laMllyV1ZsdmJEVkhZWGRIV2pSUVNrdFNWV2MxY1VjMU9UQkVObFpaYzJKRGR5dDNXVUl4V1VJNFRYWlRabFExYlZNMmNtMXdVRkFyUVZGb1VVOXFUMEZTTVhNMWIxQlBjVzVVVFVGRVdHMVNWR1JKWmtjemVXUkVORTV2YVVOS2JHcE5SVVI2VG5rMFRrdE5Ra3BKYUhwV2RWUkxVekoxWTJadFpHOUJhMGx6T1cxV2JYUk9Ubk5wVHpsaE5WQmpZWFZJYmtVcmMyZHdXVGhYTWpjdmVqZGFiMlF6VVZwbVZqZGlVMjQyUTBFNU5qZDBWMUVyVkcxM1JXdzRPRmhMVFN0T2VqWTNZbFF5ZWt0SFRWTm5VMjUzTVdsdGMxcGxUWGhXTDJaaFZUVm1TSE00YVVaT1NrODJNRlk1UkRCV00yVlJZME5SYURjeldIRndRa1ZXVm5sUGJVUnpOV3RLT0hoRWFsaFNOMjlOUm1GTldtTnRTMHRoV1ZWS1pISjVlamx5YUVKcmJrdEpVbU00T1d3dk0ycG1SMlIwZDNOb1NFdDBVa2QzVnpVeWFXTkNOa3gwZWs1aVdreHhLMVV3T0RSQ2FFVkdOVnBvYTJwYVVEWmpRME5CU1hoWmRGTkVVbXd2ZUdGUGQzUlNMemxtYXpGVVUwRlJRVXBxYlNzeVFVaHhWRU5ZUVd0Q1YwWjNkVkpVYmtSRVkwSnFOa1V5YjFwbk5FeFBkV3RCVDNBMVdUTnhTemQzTmpGSVJHcFllSGRFVVVveWNteE5NeXRTVUhaUVRWZHVPR05sVTFvM1NHZzNTa2wxWlVNd2RVVTVUa3BEVG5oSGRucFdTVE5vY1dOTUt6QXdVbTFNTTJoSFlVdFJUbTFzVGpoSmRrRlNRakZNTWtFM1prNVhjV3QyYmpZeFpWaHBWemhSZERoT1drbFhSMEZ3UlhCaGNuSnFNRVpQYTJGM1FVOW9Za1p0U0c1SloyeHRTMFpOU2xkdmRXbENZVlV5Y1c1aldrSnFVMXBEWm10SGF6SklWR1pZUVZwd2RtVTBTa281Y2pCb01uaFNhVUYzWkhkb04wa3pVMmgxYjNsS1owbHdSR3BVSzNGelQwUldla2R5VVd3ME9VUlNMMWxMVjJaT1EzSnBMMnQyVEhOM1duSTNORlp5YzI1UFduWlNhVkE1UzFGMVptbEVTbmRaUWtwRlNXc3ZjSEp0UTJjNFUyTkhVV05UZFdOWlIybDJjVzlPTmpoWWVqVTJTSEZuS3pGcWVrUXZRMUJPT0daellpdDZPSFJIVUc1NmQyNHljVmxEZDNFM1RFaFFaMUJaY0VKd2JFSjFZVmhOYUhJclZVRjVRV3RsV1d0SU9HRk9VVDA5OjkwUVVnZlZMeWJNSzVhSk5LTkFpanc9PQ==
free shipping
Sell your book
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: | 9781441993588 |
| Publisher: | SPRINGER-VERLAG NEW YORK INC. |
| Release Date: | May of 2011 |
| Language: | English |
| Cover: | Hardcover |
| Pages: | 167 |
| Format: | Book |
| Categories: |
Books in English
>
Art
>
Design and Illustration
|
| EAN: | 9781441993588 |