Amaru, Luca Gaetano
New Data Structures and Algorithms for Logic Synthesis and Verification
1. Introduction
Luca Gaetano Amaru
Part I. Logic Representation, Manipulation and Optimization
2. Biconditional Logic
Luca Gaetano Amaru
3. Majority Logic
Luca Gaetano Amaru
Part II. Logic Satisfiability and Equivalence Checking
4. Exploiting Logic Properties to Speedup SAT
Luca Gaetano Amaru
5. Majority Normal Form Representation and Satisfiability
Luca Gaetano Amaru
6. Improvements to the Equivalence Checking of Reversible Circuits
Luca Gaetano Amaru
7. Conclusions
Luca Gaetano Amaru
Keywords: Engineering, Circuits and Systems, Processor Architectures, Logic Design
- Author(s)
- Amaru, Luca Gaetano
- Publisher
- Springer
- Publication year
- 2017
- Language
- en
- Edition
- 1
- Page amount
- 16 pages
- Category
- Technology, Energy, Traffic
- Format
- Ebook
- eISBN (PDF)
- 9783319431741
- Printed ISBN
- 978-3-319-43173-4