Advanced Logic Synthesis
Latest Publications

TOTAL DOCUMENTS

10
(FIVE YEARS 0)

H-INDEX

2
(FIVE YEARS 0)

Published By Springer International Publishing

9783319672946, 9783319672953
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Analysis of Incomplete Circuits Using Dependency Quantified Boolean Formulas

2017 ◽  
pp. 151-168 ◽  
Author(s):  
Ralf Wimmer ◽  
Karina Wimmer ◽  
Christoph Scholl ◽  
Bernd Becker
Keyword(s):  
Quantified Boolean Formulas ◽  
Boolean Formulas

Identifying Transparent Logic in Gate-Level Circuits

2017 ◽  
pp. 103-124
Author(s):  
Yu-Yun Dai ◽  
Robert K. Brayton

Physical Awareness Starting at Technology-Independent Logic Synthesis

2017 ◽  
pp. 69-101 ◽  
Author(s):  
André Inácio Reis ◽  
Jody M. A. Matos
Keyword(s):  
Logic Synthesis

Emerging Circuit Technologies: An Overview on the Next Generation of Circuits

2017 ◽  
pp. 43-67
Author(s):  
Robert Wille ◽  
Krishnendu Chakrabarty ◽  
Rolf Drechsler ◽  
Priyank Kalla
Keyword(s):  
Next Generation

Automated Pipeline Transformations with Fluid Pipelines

2017 ◽  
pp. 125-150
Author(s):  
Rafael T. Possignolo ◽  
Elnaz Ebrahimi ◽  
Haven Skinner ◽  
Jose Renau
Keyword(s):  
Automated Pipeline

scholarly journals Progressive Generation of Canonical Irredundant Sums of Products Using a SAT Solver

2017 ◽  
pp. 169-188 ◽  
Author(s):  
Ana Petkovska ◽  
Alan Mishchenko ◽  
David Novo ◽  
Muhsen Owaida ◽  
Paolo Ienne
Keyword(s):  
Sat Solver ◽  
Sums Of Products
Load More ...
Sign in / Sign up

Export Citation Format

Share Document