↓ Skip to main content
What is this page? Embed badge

Advanced Logic Synthesis

Overview of attention for book
Cover of 'Advanced Logic Synthesis'

Table of Contents

  1. Altmetric Badge
    Book Overview
  2. Altmetric Badge
    Chapter 1 EDA3.0: Implications to Logic Synthesis
  3. Altmetric Badge
    Chapter 2 Can Parallel Programming Revolutionize EDA Tools?
  4. Altmetric Badge
    Chapter 3 Emerging Circuit Technologies: An Overview on the Next Generation of Circuits
  5. Altmetric Badge
    Chapter 4 Physical Awareness Starting at Technology-Independent Logic Synthesis
  6. Altmetric Badge
    Chapter 5 Identifying Transparent Logic in Gate-Level Circuits
  7. Altmetric Badge
    Chapter 6 Automated Pipeline Transformations with Fluid Pipelines
  8. Altmetric Badge
    Chapter 7 Analysis of Incomplete Circuits Using Dependency Quantified Boolean Formulas
  9. Altmetric Badge
    Chapter 8 Progressive Generation of Canonical Irredundant Sums of Products Using a SAT Solver
  10. Altmetric Badge
    Chapter 9 A Branch-and-Bound-Based Minterm Assignment Algorithm for Synthesizing Stochastic Circuit
  11. Altmetric Badge
    Chapter 10 Decomposition of Index Generation Functions Using a Monte Carlo Method
Attention for Chapter 7: Analysis of Incomplete Circuits Using Dependency Quantified Boolean Formulas
Altmetric Badge

Citations

dimensions_citation
4 Dimensions

Readers on

mendeley
1 Mendeley
Summary Dimensions citations
You are seeing a free-to-access but limited selection of the activity Altmetric has collected about this research output. Click here to find out more.
Chapter title
Analysis of Incomplete Circuits Using Dependency Quantified Boolean Formulas
Chapter number 7
Book title
Advanced Logic Synthesis
Published by
Springer, Cham, January 2018
DOI 10.1007/978-3-319-67295-3_7
Book ISBNs
978-3-31-967294-6, 978-3-31-967295-3
Authors

Ralf Wimmer, Karina Wimmer, Christoph Scholl, Bernd Becker

View on publisher site
Mendeley readers

Mendeley readers

The data shown below were compiled from readership statistics for 1 Mendeley reader of this research output. Click here to see the associated Mendeley record.

Geographical breakdown

Country Count As %
Unknown 1 100%

Demographic breakdown

Readers by professional status Count As %
Student > Ph. D. Student 1 100%
Readers by discipline Count As %
Computer Science 1 100%

This page is provided by Altmetric.