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 A Quarter Century of Post-Communism Assessed by Luca Gaetano Amaru
Cover of the book Type-2 Fuzzy Logic and Systems by Luca Gaetano Amaru
Cover of the book Advances in Service and Industrial Robotics by Luca Gaetano Amaru
Cover of the book Animals and Science Education by Luca Gaetano Amaru
Cover of the book German-Japanese Interchange of Data Analysis Results by Luca Gaetano Amaru
Cover of the book Professional Responsibility by Luca Gaetano Amaru
Cover of the book Human Interface and the Management of Information. Information in Applications and Services by Luca Gaetano Amaru
Cover of the book Comprehensive Energy Management - Safe Adaptation, Predictive Control and Thermal Management by Luca Gaetano Amaru
Cover of the book Macular Dystrophies by Luca Gaetano Amaru
Cover of the book Participant Empowerment Through Photo-elicitation in Ethnographic Education Research by Luca Gaetano Amaru
Cover of the book An Ontology for Unconventional Conflict by Luca Gaetano Amaru
Cover of the book International Election Observation in the Commonwealth Caribbean by Luca Gaetano Amaru
Cover of the book Gender and the Work-Family Experience by Luca Gaetano Amaru
Cover of the book Mathematical Problems in Meteorological Modelling by Luca Gaetano Amaru
Cover of the book Data Science and Digital Business 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