New Data Structures and Algorithms for Logic Synthesis and Verification

✍ Scribed by Luca Gaetano Amaru (auth.)

Publisher: Springer International Publishing
Year: 2017
Tongue: English
Leaves: 162
Edition: 1
Category: Library

No coin nor oath required. For personal study only.

✦ Synopsis

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.

✦ Table of Contents

Front Matter....Pages i-xvi
Introduction....Pages 1-12
Front Matter....Pages 13-13
Biconditional Logic....Pages 15-55
Majority Logic....Pages 57-102
Front Matter....Pages 103-103
Exploiting Logic Properties to Speedup SAT....Pages 105-119
Majority Normal Form Representation and Satisfiability....Pages 121-133
Improvements to the Equivalence Checking of Reversible Circuits....Pages 135-149
Conclusions....Pages 151-153
Back Matter....Pages 155-156

✦ Subjects

Circuits and Systems;Processor Architectures;Logic Design

📜 SIMILAR VOLUMES

Logic Synthesis and Verification Algorit

📁 Logic Synthesis and Verification Algorithms

✍ Hachtel G.D., Somenzi F. 📂 Library 📅 1996 🏛 Springer 🌐 English

Logic Synthesis and Verification Algorithms is a textbook designed for courses on VLSI Logic Synthesis and Verification, Design Automation, CAD and advanced level discrete mathematics. It also serves as a basic reference work in design automation for both professionals and students. Logic Synt

Logic Synthesis and Verification Algorit

📁 Logic Synthesis and Verification Algorithms

✍ Hachtel G.D., Somenzi F. 📂 Library 📅 1996 🏛 Springer 🌐 English

Logic Synthesis and Verification Algorit

📁 Logic Synthesis and Verification Algorithms

✍ Gary D. Hachtel, Fabio Somenzi 📂 Library 🌐 English

Logic Synthesis and Verification Algorit

📁 Logic Synthesis and Verification Algorithms

✍ Gary D. Hachtel, Fabio Somenzi (auth.) 📂 Library 📅 2002 🏛 Springer US 🌐 English

<p><em>Logic Synthesis and Verification Algorithms</em> is a textbook designed for courses on VLSI Logic Synthesis and Verification, Design Automation, CAD and advanced level discrete mathematics. It also serves as a basic reference work in design automation for both professionals and students. <br/

Logic Synthesis and Verification

📁 Logic Synthesis and Verification

✍ Hassoun S., Sasao T. (ed.) 📂 Library 📅 2001 🏛 Springer 🌐 English

Research and development of logic synthesis and verification have matured considerably over the past two decades. Many commercial products are available, and they have been critical in harnessing advances in fabrication technology to produce today's plethora of electronic components. While this

Logic synthesis and verification

📁 Logic synthesis and verification

✍ Soha Hassoun; Tsutomu Sasao 📂 Library 📅 2002 🏛 Kluwer Academic Publishers 🌐 English