New Data Structures and Algorithms for Logic Synthesis and Verification

Nonfiction, Science & Nature, Technology, Electronics, Circuits, Computers, Advanced Computing, Engineering, Computer Architecture
Cover of the book New Data Structures and Algorithms for Logic Synthesis and Verification by Luca Gaetano Amaru, Springer International Publishing
View on Amazon View on AbeBooks View on Kobo View on B.Depository View on eBay View on Walmart
Author: Luca Gaetano Amaru ISBN: 9783319431741
Publisher: Springer International Publishing Publication: August 2, 2016
Imprint: Springer Language: English
Author: Luca Gaetano Amaru
ISBN: 9783319431741
Publisher: Springer International Publishing
Publication: August 2, 2016
Imprint: Springer
Language: English

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.

View on Amazon View on AbeBooks View on Kobo View on B.Depository View on eBay View on Walmart

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.

More books from Springer International Publishing

Cover of the book Saudi Aramco 2030 by Luca Gaetano Amaru
Cover of the book Society and Economics in Europe by Luca Gaetano Amaru
Cover of the book Climate Modelling by Luca Gaetano Amaru
Cover of the book Multifocal Intraocular Lenses by Luca Gaetano Amaru
Cover of the book Small Modular Reactors for Electricity Generation by Luca Gaetano Amaru
Cover of the book International Cooperation for Enhancing Nuclear Safety, Security, Safeguards and Non-proliferation by Luca Gaetano Amaru
Cover of the book Property, Family and the Irish Welfare State by Luca Gaetano Amaru
Cover of the book Zainichi Cinema by Luca Gaetano Amaru
Cover of the book The Normal and Pathological Fetal Brain by Luca Gaetano Amaru
Cover of the book Latinx Immigrants by Luca Gaetano Amaru
Cover of the book A Method of Fundamental Solutions in Poroelasticity to Model the Stress Field in Geothermal Reservoirs by Luca Gaetano Amaru
Cover of the book Control and Filtering for Semi-Markovian Jump Systems by Luca Gaetano Amaru
Cover of the book Real-time Monitoring and Operational Control of Drinking-Water Systems by Luca Gaetano Amaru
Cover of the book Men in Early Childhood Education and Care by Luca Gaetano Amaru
Cover of the book Nigerian Yearbook of International Law 2017 by Luca Gaetano Amaru
We use our own "cookies" and third party cookies to improve services and to see statistical information. By using this website, you agree to our Privacy Policy