Advanced Logic Synthesis 2018.pdf

【实例截图】

【核心代码】

Contents
1 EDA3.0: Implications to Logic Synthesis ................................ 1
Leon Stok
2 Can Parallel Programming Revolutionize EDA Tools? ................ 21
Yi-Shan Lu and Keshav Pingali
3 Emerging Circuit Technologies: An Overview on the Next
Generation of Circuits ..................................................... 43
Robert Wille, Krishnendu Chakrabarty, Rolf Drechsler,
and Priyank Kalla
4 Physical Awareness Starting at Technology-Independent Logic
Synthesis..................................................................... 69
André Inácio Reis and Jody M.A. Matos
5 Identifying Transparent Logic in Gate-Level Circuits ................. 103
Yu-Yun Dai and Robert K. Brayton
6 Automated Pipeline Transformations with Fluid Pipelines ............ 125
Rafael T. Possignolo, Elnaz Ebrahimi, Haven Skinner, and Jose Renau
7 Analysis of Incomplete Circuits Using Dependency Quantified
Boolean Formulas .......................................................... 151
Ralf Wimmer, Karina Wimmer, Christoph Scholl, and Bernd Becker
8 Progressive Generation of Canonical Irredundant Sums of
Products Using a SAT Solver .............................................. 169
Ana Petkovska, Alan Mishchenko, David Novo, Muhsen Owaida,
and Paolo Ienne
9 A Branch-and-Bound-Based Minterm Assignment Algorithm
for Synthesizing Stochastic Circuit ....................................... 189
Xuesong Peng and Weikang Qian
ix
x Contents
10 Decomposition of Index Generation Functions Using a Monte
Carlo Method ............................................................... 209
Tsutomu Sasao and Jon T. Butler
Index ............................................................................... 227