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