Verification Techniques For System-Level Design

de Masahiro Fujita, Mukul Prasad e Indradeep Ghosh 

Bertrand.pt - Verification Techniques For System-Level Design
idioma: Inglês
Editor: ELSEVIER SCIENCE & TECHNOLOGY
Edição: dezembro de 2007
79,81€
Esgotado ou não disponível

Explains how to verify SoC logic designs using 'formal' and 'semi-formal' verification techniques. This book covers various aspects of high-level formal and semi-formal verification techniques for system level designs.

Verification Techniques For System-Level Design
de Masahiro Fujita, Mukul Prasad e Indradeep Ghosh 
ISBN:
9780123706164
Ano de edição:
12-2007
Editor:
ELSEVIER SCIENCE & TECHNOLOGY
Idioma:
Inglês
Encadernação:
Capa dura
Páginas:
256
Tipo de Produto:
Livro
Classificação Temática:
EAN:
9780123706164
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.