10% de desconto

High-Level Verification

Methods And Tools For Verification Of System-Level Designs

de Sorin Lerner, Rajesh K. Gupta e Sudipta Kundu
idioma: inglês
Editor: SPRINGER-VERLAG NEW YORK INC., maio de 2011 ‧
121,66€
10% DESCONTO CARTÃO
portes grátis
Venda o seu livro
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.

High-Level Verification

Methods And Tools For Verification Of System-Level Designs

de Sorin Lerner, Rajesh K. Gupta e Sudipta Kundu

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