Advanced Logic Synthesis

1. EDA3.0: Implications to Logic Synthesis
Leon Stok

2. Can Parallel Programming Revolutionize EDA Tools?
Yi-Shan Lu, Keshav Pingali

3. Emerging Circuit Technologies: An Overview on the Next Generation of Circuits
Robert Wille, Krishnendu Chakrabarty, Rolf Drechsler, Priyank Kalla

4. Physical Awareness Starting at Technology-Independent Logic Synthesis
André Inácio Reis, Jody M. A. Matos

5. Identifying Transparent Logic in Gate-Level Circuits
Yu-Yun Dai, Robert K. Brayton

6. Automated Pipeline Transformations with Fluid Pipelines
Rafael T. Possignolo, Elnaz Ebrahimi, Haven Skinner, Jose Renau

7. Analysis of Incomplete Circuits Using Dependency Quantified Boolean Formulas
Ralf Wimmer, Karina Wimmer, Christoph Scholl, Bernd Becker

8. Progressive Generation of Canonical Irredundant Sums of Products Using a SAT Solver
Ana Petkovska, Alan Mishchenko, David Novo, Muhsen Owaida, Paolo Ienne

9. A Branch-and-Bound-Based Minterm Assignment Algorithm for Synthesizing Stochastic Circuit
Xuesong Peng, Weikang Qian

10. Decomposition of Index Generation Functions Using a Monte Carlo Method
Tsutomu Sasao, Jon T. Butler

Keywords: Engineering, Circuits and Systems, Processor Architectures, Signal, Image and Speech Processing