Check order status

Become part of a community of book lovers from all over the world and get access to a whole bunch of benefits. Create an account for free

Austrian Post 5.49 € DPD courier 3.99 € DPD point 2.99 €

Contact

How to shop

Help

My account

▸ Empty :-(

New Data Structures and Algorithms for Logic Synthesis and Verification

Name: New Data Structures and Algorithms for Logic Synthesis and Verification
Brand: Springer International Publishing AG
SKU: 13496526
Price: 60.39 EUR
Availability: InStock
Author: Luca Gaetano Amaru
ISBN: 9783319431734

Luca Gaetano Amaru

Language

English

Book Hardback

Libristo code: 13496526

Publishers Springer International Publishing AG, August 2016

This book introduces new logic primitives for electronic design automation tools. The author approac... Full description

Libristo code: 13496526

148 b

60.39 € VAT included

Low in stock at our supplier Shipping in 11-15 days

Delivery to Austria

Up to 30 days for returns

Customers also purchased

Institution-Building im mexikanischen Mikrofinanzsektor Katja Kirchstein

Paperback

62.29 €

Themenzentrierte Interaktion von Ruth Cohn Claudia Küper

Paperback

17.95 €

Andreas Hofer und der Freiheitskampf in Tirol 1809 Gottfried Wilhelm Becker

Paperback

59.90 €

Mosby's Radiography Online for Sectional Anatomy for Imaging Professionals (Access Code) Lorrie L. Kelley Digital

Digital online

70.69 €

MAYUSCULAS 2:APRENDE A ESCRIBIR

Paperback

2.39 €

Aspects of British Policy and the Treaty of Versailles Erik Goldstein

Paperback

65.49 €

10 ANS DE TRESORS. ACQUISITIONS PATRIMONIALES 2014-2024 THERSTAPPEN AUDE

Paperback

25.99 €

W Wille Songül Demir

Paperback

89.90 €

Otimizacao das Condicoes de Armazenamento da Farinha de Porca Bambara Shianya Audu Ngabea

Paperback

75.69 €

Kapibara młode

Toy

2.89 €

L'Apprentissage Precoce D'Une Langue Etrangere Daniel Gaonac'h

Hardback

32.09 €

Management humano : sana tu empresa, sana tu organización, sana tus relaciones : una respuesta a la crisis Sebastián Vázquez Jiménez

Paperback

22.29 €

Memorias del oratorio adaptadas : para adolescentes y jóvenes por Teresio Bosco Santo Juan Bosco

Paperback

15.89 €

Dissid?ncia: Sobre O Processo de Ruptura Nos Grupos Humanos Sr Luiz Augusto Dzis

Paperback

9.79 €

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.§