Applied Formal Verification: for Digital Circuit Design - Douglas L. Perry - Livros - McGraw-Hill Education - Europe - 9780071443722 - 1 de maio de 2005
Caso a capa e o título não sejam correspondentes, considere o título como correto

Applied Formal Verification: for Digital Circuit Design

Douglas L. Perry

Preço
£ 113,99

Item sob encomenda (no estoque do fornecedor)

Data prevista de entrega 20 - 29 de ago
Adicione à sua lista de desejos do iMusic

Applied Formal Verification: for Digital Circuit Design

Formal verification is a digital design method. This tutorial shows designers how to apply Formal Verification, along with hardware description languages like Verilog and VHDL, to solve real-world design problems.


240 pages, 75 illustrations

Mídia Livros     Hardcover Book   (Livro com lombada e capa dura)
Lançado 1 de maio de 2005
ISBN13 9780071443722
Editoras McGraw-Hill Education - Europe
Páginas 240
Dimensões 154 × 231 × 23 mm   ·   512 g