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
TW5BMloySllRMVpVU2tNNVZYcFJaMFJwVERKT2Vtc3lSbHBLVTFaNWFHVkJLM0J5WkhCTVFXbzRURkZIUkVad2RHbE1XbTEyYldoMlRFbDRTVXBuV1hWWU5sWXJVa0UyZVdWV2VVczRhRTFyYTNSSE1qbDVTVkZIWldGSlFqTllVM05tU3pobEwyaG1VR3BKVmxwbFprOU9ZbWREYWtwaVowSlJZVWxTTms0eFpEZFNWRlZTV0dWSFFWVTJRVnBsUXpsRFZtRnpMMHhXYjFOWVlYaG1kbWhIVTNsaE5rNUxTVVkxVEV0M2MzZHdNR3BqWTFKQ0syMDBXR3RNUmxsdEsyTnNOMVZCT0RSR2NHUnNjVzByYldOM1FWaHhVRU52TUV4QloyWjRhbmxhTjIwd1VIQjNWbFp2VDA1dWFWcDZPVVV3UWxkTVRFUnNOV3h5T1RGU1JFTlRSSFJuVjBkQ1QwUklXQ3N5T0ZRM1YwSkRhMVZCYzFVdmNXVjNabk5ITlVWM1VtRmlOemhKVGtsUlowaDFURnBuVURWbmFXTXZVRzVvU1N0NE4xZEtVbUpMUm13dlMwaHRSR3BQUVVaS2FrNHdNUzlhTlhodlMzTmtiVUpGTkdjeFVFRllXa3RTZFhOaEwyOHlkSFJxWWxnNVlqSTJUelozWTNneE5WTnphMUpEYlRGNlQyd3ZhbGxSTlhaM1RXbHRhMnByTkZab1NGcHRWRFF5WlhOck5sWkJTbE1yZW5OT2RXc3dXRzVxUzJ0UWIySXlRVXhMYjA5WFIwSklZVlYyTTNBdlExQk1VRE5SYVd3clZraEZhMmh0YmtGUk5HcE5ZalZpUWlzdlNuTXZiVmRPTlRaQ1NrVkVOMFJLWW5WV1JFWlJaRFJOVlc0eWFUWk1XakpKVmxBeldFbGllVzQ1VFZCNWVFVkVSRkZvUld4TmFYaFhiMEZwUW1SVk4yUkdibWRQVFdZMldqTnhZMjQwVUVkaGN5OXJkVTlhZEZwblF6SjNUM2hhZFdwMlJsbGtNelY2TVhWTVkyUlJZVWxTZUc5S1RrWXZSM3B0YlVOV0sxaEJiSFE1WlRkTE1GazVTRTlPYjBOWk5rczJhRXgyV0dsTFMwRlFUVnBVYzNNMldIcE5aR1JpUVZobFZuSjJVek52VEdkVmMwcHJRa0Z2YUdadE1rRjRjSEpJZW5oSmJUZG1NV2hCTm1sUUswVkVORWdyZEVJNFJUaDVha2RHUVZVd2IwWXpiRVJ3VEdZeE4wMUZia2d4UTFSdmJTdG5WVlUxTHl0UVVqZDJjVVpDYkZSU2FXa3lNWGhrZVZOS2FXaFViMVJ6TUhkYU4zaGFPVFU1YldsUFdWVkVXVmt6ZUUxelVVOVFOV00yTVdKdVZXdFJVV0oyYm1OV01tTTROR1J0UldSSlNYY3JVbkJoT0ZScE9Fc3dTMXBJTTB0Q1JVbHNXbEJ2Y0dOa1VRPT06Tk1PTk15YmswZWNzNlJZSFBmM2l5UT09
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 |