Login

Amaru, Luca Gaetano

New Data Structures and Algorithms for Logic Synthesis and Verification

Amaru, Luca Gaetano - New Data Structures and Algorithms for Logic Synthesis and Verification, ebook

118,40€

Ebook, PDF with Adobe DRM
ISBN: 9783319431741
DRM Restrictions

PrintingNot allowed
Copy to clipboardNot allowed

Table of contents

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)
Publisher
Springer
Publication year
2017
Language
en
Edition
1
Category
Technology, Energy, Traffic
Format
Ebook
eISBN (PDF)
9783319431741
Printed ISBN
978-3-319-43173-4

Similar titles