Yüklüyor…
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...
Yazar: | |
---|---|
Müşterek Yazar: | |
Materyal Türü: | e-Kitap |
Dil: | İngilizce |
Baskı/Yayın Bilgisi: |
Cham :
Springer International Publishing : Imprint: Springer,
2017.
|
Edisyon: | 1st ed. 2017. |
Konular: | |
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.