10% de desconto

Digital System Verification

A Combined Formal Methods And Simulation Framework

de Mitchel Thornton e Lun Li
idioma: inglês
Editor: Springer International Publishing AG, fevereiro de 2010 ‧
33,79€
10% DESCONTO CARTÃO
portes grátis
Venda o seu livro
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.

Digital System Verification

A Combined Formal Methods And Simulation Framework

de Mitchel Thornton e Lun Li

Propriedade Descrição
ISBN: 9783031798146
Editor: Springer International Publishing AG
Data de Lançamento: fevereiro de 2010
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 em Inglês > Engenharia > Engenharia Geral
EAN: 9783031798146

LIVROS DA MESMA COLEÇÃO