adicionar à lista de desejos
High-Level Verification
Methods And Tools For Verification Of System-Level Designs
idioma: inglês
Editor:
SPRINGER-VERLAG NEW YORK INC., maio de 2011 ‧
ver detalhes do produto
121,66€
10% DESCONTO
CARTÃO
WjFoeEwyZzRaVVp4WlRoa2QzVkdaMkozZFU1b1pIVXlSRTVWVTNsbE1uUnJVR1IwYUVGbVVEbFhlbHBtVFVObVJrWjFlSFV2UlVwSFIxazJiVVpKTURoU2RXRlBLeTh4UmtjMmR5dElWbkJqVkd4MFNUSkdUUzkxV2s1dFFrVmphVE5NY0dWVmIwTnlVaTl2Y0Zkb2FXVjBabkZpY0hCVlJtY3hWRFZHT1hSWFJGRlhkRmhxU1daMVYwcHFiMkYyVWxoclYzRmpUMlJsVGl0bE1sSjVVV3cyY1V0Qk9YQjZaV3hSV0dwcmJ6bHpabEIyVkhsRmFtVjNibnBPY21Gb1RtaHZlQ3MxU1d0TldrMVVZVUZ1ZFhWT00xQTNhbVZTTm1OaE1VMVhMMHBxVVhSYVZVaG9PRzB2UTNvNVFTOVFTME5LVEhvNWRWcEVjRXA0TlV0WE9YaElTMWhUU1RadldIUlRaV0pWU0c5NlRrMWxNRlp3YWpGUFJVaE5jRXBJVFhvMVIxVnhPVzh2TjJsVlRHbFdVVVZZWVdaWk0zZzVRV1F4UzBWMmFtMUVTRmRsS3l0VVV6ZE5NVTVrTlV4WUszVjJZa2xUU1VKMGNrNDFlVk42TUZGQmFVWnBWM2hKZUhaaVoxcGxkbEk1Vlc0elRHaEZXR1UxWVdNd1dXZExWM1pUZDJSbmJsaHlSREV3ZUhkVWEySmtTWEJyZGl0RFRGRm9UMnh2YTFZdlVXRnFPVXBzYVRWTFZIRTJOMlJoWVhsR1FsYzNlVWgzVlVaM1V5OVhWM05vT0dab1dUTjVMMXAyYVVsTFdIUmFVek5PTWtFclNHdHZPRzV6U0hJcmNqazFWWEJFZEZKV1ozVXJLMmxhWlZNelFUWllWVU5aYUdsbU0zTnBWWE5rTDFWdVZuaEZlVE13TjFKMWRWbDFXVTVzZFdWelRuQXlLelo0Um5ZMU9ERlhZVFZ5T0VkbGJFSndSVU5MTWxGS1pGY3haMDgyWkc1a2RIbE1TazB4UVdZNFpEVk5UVXRGVVVkdVZYRnZVMDVEWVRWRmVFbGlWa0V4VTFkR1pXRlpXVlVyTVZWV2VHaHlZa3A1WjBsMGRERk5TbUpxZWxjcllsUjFZVUY0YW1GMlVWWnZUemhxYkU1TlVFcGtlak5DVmtrNFptVnVOazVQWTNaRE5HUXdiR2s0Y1UwNVUwNVJhSFpWUTNoWVFsTllPRWR6Y0RkellTOUZUREpEZG14TldGQTFkRzVQTm0wMFUzUk5TV0l4TlVKS1RtUXpXalpwTHlzM1kwWnBSMlJxVkZkWVIxbENValJsVFRSQ2RtdDNSRVZHVTJRd1oxWklaU3M1TkROb1ozZFZlVVZGV0hkT1MzcFJZVkJuWjJOQ1l6QnNNMVJ3YWswelRXeEdPRlZLUzNGU2RYZzFMMDE0ZG5neFJFeHFMelpwWW5WdlVFOUxOMnd2YzNnMk13PT06eWpnU1dHc2FvaVFRQVc5WU1XeWp2QT09
portes grátis
Venda o seu livro
SINOPSE
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.
DETALHES
| Propriedade | Descrição |
|---|---|
| ISBN: | 9781441993588 |
| Editor: | SPRINGER-VERLAG NEW YORK INC. |
| Data de Lançamento: | maio de 2011 |
| Idioma: | Inglês |
| Encadernação: | Capa dura |
| Páginas: | 167 |
| Tipo de produto: | Livro |
| Classificação Temática: |
Livros em Inglês
>
Arte
>
Design e Ilustração
|
| EAN: | 9781441993588 |