Design e Ilustração

High-Level Verification

Methods And Tools For Verification Of System-Level Designs

de Sorin Lerner, Rajesh K. Gupta e Sudipta Kundu 

Bertrand.pt - High-Level Verification
idioma: Inglês
Editor: SPRINGER-VERLAG NEW YORK INC.
Edição: maio de 2011
Portes
Grátis
20%
121,66€
Poupe 24,33€ (20%) Cartão Leitor Bertrand
RESERVAR NA LIVRARIA Livrarias

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 
ISBN:
9781441993588
Ano de edição:
05-2011
Editor:
SPRINGER-VERLAG NEW YORK INC.
Idioma:
Inglês
Encadernação:
Capa dura
Páginas:
167
Tipo de Produto:
Livro
Classificação Temática:
Livros  >  Livros em Inglês  >  Arte  >  Design e Ilustração

EAN:
9781441993588
X
O QUE É O CHECKOUT EXPRESSO?

O ‘Checkout Expresso’ utiliza os seus dados habituais (morada e/ou forma de envio, meio de pagamento e dados de faturação) para que a sua compra seja muito mais rápida. Assim, não tem de os indicar de cada vez que fizer uma compra. Em qualquer altura, pode atualizar estes dados na sua ‘Área de Cliente’.

Para que lhe sobre mais tempo para as suas leituras.