New Data Structures and Algorithms for Logic Synthesis and Verification

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

Full description

Bibliographic Details
Main Author: Amaru, Luca Gaetano (Author)
Corporate Author: SpringerLink (Online service)
Format: e-Book
Language:English
Published: Cham : Springer International Publishing : Imprint: Springer, 2017.
Edition:1st ed. 2017.
Subjects:
Electronic circuits.
Microprocessors.
Computer architecture.
Logic design.
Electronic Circuits and Systems.
Processor Architectures.
Logic Design.
Online Access:Full-text access
View in OPAC
Table of Contents:
  • 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.

Similar Items