New Data Structures and Algorithms for Logic Synthesis and Verification

• Κύριος συγγραφέας: Amaru, Luca Gaetano (Συγγραφέας)
• Συγγραφή απο Οργανισμό/Αρχή: SpringerLink (Online service)
• Μορφή: Ηλεκτρονική πηγή Ηλ. βιβλίο
• Γλώσσα: English
• Έκδοση: Cham : Springer International Publishing : Imprint: Springer, 2017.
• Θέματα: 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...

Πίνακας περιεχομένων:

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