New Data Structures and Algorithms for Logic Synthesis and Verification

• Main Author: Amaru, Luca Gaetano (Author)
• Corporate Author: SpringerLink (Online service)
• Format: Electronic eBook
• Language: English
• Published: Cham : Springer International Publishing : Imprint: Springer, 2017.
• Subjects: Engineering.; Logic design.; Microprocessors.; Electronic circuits.; Circuits and Systems.; Processor Architectures.; Logic Design.

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

Table of Contents:

• Introduction
• Part 1. Logic Representation, Manipulation and Optimization
• Biconditional Logic
• Majority Logic
• Part 2. Logic Satisfiability and Equivalence Checking
• Exploiting Logic Properties to Speedup SAT
• Majority Normal Form Representation and Satisfiability
• Improvements to the Equivalence Checking of Reversible Circuits
• Conclusions.