High-Level Verification eBook
Methods And Tools For Verification Of System-Level Designs
idioma: inglês
Editor:
SPRINGER NEW YORK, maio de 2011 ‧
ver detalhes do produto
118,59€
10% DESCONTO
CARTÃO
ZFhsVlpsb3lTRGtyVFhVdk4yaEpWbEZtTW5OUVVXd3pRWEZTTVVwUlpFdFlOVlZsU3pBNWNHZzRkV0U0U2pVeVFYZG5UM2w1UVZSM09FOWllRlptVVVGSE1IQnZWR3RSWlVNeUwwWlhTVzl2ZW1jMFlVSm5TRVowZEdOUEszaExlR0Z3ZDNaRk1Ga3pWbkV2U1VKSUwzVmhjazU2T0ZOMmN6bGtLMk00VW5ZMlNFbHdjMjVqUkN0M05XdHFXbXAyU0dad01ERnZSVnAyYkM5MFpFTkhUMmwxYlhob2MyRlRiSFF6YlZkRWJreFZTeXRtTDBwcE1HZHhUVXBaY2tKbU5WRmpRblIwTHpsbWMyUjJOR2RNTjJzMk9VSlJUV2QyVlU5aFdrMUdaMkpUU1V0eFMyTlRkMFJOYkZOVk1FWnVlVlJ0T0V4dFNuRTFaU3M0UkVGWVRUbEJTM0lyUTNkbGRGSkJjSFpJWWtsSGJsZzNRbXd4V1U5SVQzcHNhVkZFWVRkVWRrUkljMjh3SzJaNlZXVjFlazFaUkRWSFYySXJZMkpJUkhCMU1reFJlRzFpWjBGb1kySndUVEpOV1VOT1VFSmlObFp6Y1RnMWRGVmhaVUpKU1Rjek9HUndaM05SUlM4MmJGTkRZemRDTVZoall6ZDJPRUYwWmtSS1JtUlRTRmxHWnpWdGRrdFRkQzlWZEdnd2J6RktWRVZZUjBrM1R5ODFNbkZDYVVObWVqaFZkWGRMUW5aTlZFSTBObXRpUjJoMlVXbEhjVkpCVmxCUlZHZGpXVkl5TDFkVk5YbzNTbkJDVW5aT0sxVlRMMjVwUkVzd1dFZG9jRVJGS3pKMFJUWTBTbG96U3pWRlExTlFXVFJpYmxoWlYyNUpXVWxWWW5kTmIzVXJhVkF2UjJ3NFNEZFhWM0J6U0hSQlIxUnJaSE5sVkd4NmVTOXlUMGxSUWtKUk5WZGlObmxSV1VJdllWQnZka3BvZVc1QmRUSk5aMmxWVjJSdWIwZGthVWwyUTBac0wzUnNhekJOTnpWQ1IwVkZWemd3VjNkNmFVSlVVRkJqYTJ3NE9YRkdWVzlyY1dOcmFYZGxPSGhDUzB0WVNtUTJTbmx6YjFsU1MxWnJOMU5zU0hSd1RHcGxRMFYzZG1OTWJsQTJXbVJtVjIxVVRYTk1UM1p1VHk5V1lWVmxObXMyT0UxcVJVZDZjMU5VT0RaaVFrcHdhWEZzZUV4c1VWQTRMMDV2UW5WWlYwb3dkazVXVVRoUFVFbDJhakl2YzJGRWFrbEdkRzlMYTJWSFF6aFNiblo2UjNKMGJYWm1OMDl2UFE9PTpyRzd6eC9WY2dsZnZGa1NZbUw4MDZBPT0=
DISPONIBILIDADE IMEDIATA
Ebook para ADE
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: | 9781441993595 |
| Editor: | SPRINGER NEW YORK |
| Data de Lançamento: | maio de 2011 |
| Idioma: | Inglês |
| Tipo de produto: | eBook |
| Coleção: | Engineering |
| Classificação Temática: |
eBooks em Inglês
>
Arte
>
Design e Ilustração
|
| EAN: | 9781441993595 |
LIVROS DA MESMA COLEÇÃO
-
eBook10%Faraday LaserSpringer Nature Singapore190,21€
211,34€ -
eBook10%Dictionary Of Concrete TechnologySpringer Nature Singapore417,37€
463,74€