Verificar estado da encomenda

Faça parte de uma comunidade de amantes de livros de todo o mundo e tenha acesso a uma série de benefícios. Crie uma conta gratuitamente

Correio DHL 7.99 € Correio DPD 4.49 € Ponto DPD 3.99 € Correio GLS 5.49 € Correio MRW 5.49 € Ponto GLS 4.49 €

Contacto

Como comprar

Ajuda

A minha conta

▸ Vazio :-(

New Data Structures and Algorithms for Logic Synthesis and Verification

Name: New Data Structures and Algorithms for Logic Synthesis and Verification
Brand: Springer
SKU: 41036458
Price: 51.57 EUR
Availability: InStock
Author: Luca Gaetano Amaru
ISBN: 9783319431741

Luca Gaetano Amaru

Língua

Inglês

E-book Adobe ePub DRM

Código Libristo: 41036458

Editoras Springer, agosto 2016

This book introduces new logic primitives for electronic design automation tools. The author approac... Descrição completa

Código Libristo: 41036458

125 b

51.57 €

Em stock Imediatamente descarregável

Os clientes também compraram

Edelsteine und Farben Monika Finger

Capa mole

11.85 €

Keltische Studien Heinrich Zimmer

Capa mole

23.00 €

Auswirkungen von Bewegungstherapie auf die physische und psychische Verfassung von Patienten im Rahmen einer hamatopoetischen Stammzelltransplantation Freerk Baumann

Capa mole

186.77 €

O acampamento na selva na cobertura da imprensa de qualidade vs. BILD Susanne Siegert

Capa mole

44.49 €

This book introduces new logic primitives for electronic design automation tools. The author approaches fundamental EDA problems from a different, unconventional perspective, in order to demonstrate the key role of rethinking EDA solutions in overcoming technological limitations of present and future technologies. The author discusses techniques that improve the efficiency of logic representation, manipulation and optimization tasks by taking advantage of majority and biconditional logic primitives. Readers will be enabled to accelerate formal methods by studying core properties of logic circuits and developing new frameworks for logic reasoning engines.