Engenharia Geral

Digital System Verification

A Combined Formal Methods And Simulation Framework

de Mitchel Thornton e Lun Li 

Bertrand.pt - Digital System Verification
idioma: Inglês
Editor: Springer International Publishing AG
Edição: fevereiro de 2010
Portes
Grátis
10%
33,79€
Poupe 3,38€ (10%) Cartão Leitor Bertrand
RESERVAR NA LIVRARIA Livrarias

This book focuses on an Integrated Design Validation (IDV) system that provides a framework for design validation and takes advantage of current technology in the areas of simulation and formal verification resulting in a practical validation engine with reasonable runtime.

Coleções

Digital System Verification
A Combined Formal Methods And Simulation Framework
de Mitchel Thornton e Lun Li 
ISBN:
9783031798146
Ano de edição:
02-2010
Editor:
Springer International Publishing AG
Idioma:
Inglês
Dimensões:
191 x 235 x 20 mm
Encadernação:
Capa mole
Páginas:
79
Tipo de Produto:
Livro
Coleção:
Synthesis Lectures On Digital Circuits & Systems
Classificação Temática:
Livros  >  Livros em Inglês  >  Engenharia  >  Engenharia Geral

EAN:
9783031798146

Dos mesmos autores

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.