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

Ful tanımlama

Detaylı Bibliyografya
Yazar: Amaru, Luca Gaetano (Yazar)
Müşterek Yazar: SpringerLink (Online service)
Materyal Türü: e-Kitap
Dil:İngilizce
Baskı/Yayın Bilgisi: Cham : Springer International Publishing : Imprint: Springer, 2017.
Edisyon:1st ed. 2017.
Konular:
Electronic circuits.
Microprocessors.
Computer architecture.
Logic design.
Electronic Circuits and Systems.
Processor Architectures.
Logic Design.
Online Erişim:Full-text access
OPAC'ta görüntüle
İçindekiler:
  • 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.

Benzer Materyaller