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
VkVGTlV5OVFOeXRyYVVkRGFsQXdXbUp5WVhCbk5GZzBSUzlTYjBzclNtcE9kRVJ4VWpCNk5ubDBaM2h6U21jMmNUVmtLMHRvYW14a1pGaGxUM0ZWVUhNcldVdGFUMUpWTjBoa2VVWnJjalUwTWtwVWJ6bHRXbkpXSzJSbU1XWlBVRmxuWkU5MlNtRmhXRUp5WTB0cVpXTndaWHByVUd4T2RGRjVWbTVST0hVd01VcGtVM0ZCTUhwcFpWZHViRUV6YkZBM1lWcEJZVXBpTUZwUFUydEJZVlE1ZUc5emEzZHFaMUV6ZVRKNFEzRkNUa05HYlhsUlVVVnpjamRvZGxob1RIUnNhSGxDYm1GMVYwUTBValpwY2l0S1dFeDRRWGd5UmtSRlZsaFpUM0YyWkRCS1MyOURaWGMwZEZKdFlreFlkR2RNTVRSNlR6SjFjVlJ1YWl0UE1tVXpVa2hrWTBKWFpFaHNabXRqV0ZKTE1IWTVhMmhZYVhCSFlsVmhhbGh2WmpKbE1VdEJURVZuYzNOWWFVeHdlRFJzVEROcFRUTnRjWFZQUkRZNVlXUm9XVWQ0ZGtRckwxbGhialpLVWprMWFsSmtSbTlXVVdaSE1WTXlNR1JKSzJORFNYWnJSa3R1TkZWSlRHdHBTekJoYzBZclZtd3ZlV2RNYTFFckx6QlRVMU1yYUhsMlVFRllUMDFZYTNkeEwwdDFNMnQ2ZVRGTmJUQlhiMmd3ZDBsdldFdEZRV3BsYkZneFpDdHpaRUkwYTNkdFRtRlJjeTlqY1ZwVVl5OXBla3gyTTNaQ1dFMWFZbWhxZG1WTlozTndkblZ4UTFSUk1rWlhRamRKVkV4cloweDVMMU5VUm14clZqZHpjazVVU0hoR1N5dHBhREJIV1d0SGNucHZRWEZzVFVSR2FtNVlWMHNyYms5V1VWVlJZME5UWjJ3M2MwYzVlVUY1TUZOdGFHcEpkMVJKTkVkdEsybzFlbGRpTUM5dkwzZ3pUalZtUkVsbmMxUXhTSE4xWW1WcmFYWmFLekExVG5CWGFHOHlVMmMwS3psMmQzVllZWEJhYkhKa1VFbHRRazlsUzNkRFZrZElkbmRNVTBkVlJGSnJOMnhRZW1ob1UyaG1SVVpsVHl0TFQzZzJkMUpqTVRJemJWSkpaVUpQUkZZMFV6TkRRamRZUzI5SVdGQnFkV05vVERabVdpOXBkRlpyVW1nd2NHSjNhMkpLWlc1d2FEQllia3Q1WkZWUmRtdzFNM1pXVW5wTGVHcHpMMDU1VTJNdk5sSllNbmwwTXpaMldXUndVek5TWVZWYVdXdHFXbEpSUFE9PTpJTEtYN3lQeGNRQlY4ZERxNlN6b3lBPT0=
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 |
| Formato e Compatibilidade: | PDF para ADE |
| Coleção: | Engineering |
| Classificação Temática: |
eBooks em Inglês
>
Arte
>
Design e Ilustração
|
| EAN: | 9781441993595 |
LIVROS DA MESMA COLEÇÃO
-
Faraday LasereBook10%Springer Nature Singapore190,21€
211,34€ -
Dictionary Of Concrete TechnologyeBook10%Springer Nature Singapore417,37€
463,74€