New data structures and algorithms for logic synthesis and verification
By: Amaru, Luca Gaetano
Material type: BookPublisher: Switzerland : Springer, c2017.Description: xvi, 156 p. ; 25 cm.ISBN: 9783319431734Subject(s): Data structures (Computer science) | Logic circuitsDDC classification: 005.133 AM NE Online resources: Location MapItem type | Home library | Call number | Status | Date due | Barcode | Item holds |
---|---|---|---|---|---|---|
REGULAR | University of Wollongong in Dubai Main Collection | 005.133 AM NE (Browse shelf) | Available | T0055105 |
, Shelving location: Main Collection Close shelf browser
005.133 AM AL Algorithms and data structures in C++ / | 005.133 AM AL Algorithms and data structures in C++ / | 005.133 AM CP C++ for programmers / | 005.133 AM NE New data structures and algorithms for logic synthesis and verification | 005.133 AN CP C++ for Beginners : | 005.133 AN JA Java illuminated : | 005.133 AR AR Artificial Intelligence with Python : |
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.
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.