Editing Logic synthesis (section)

== Further reading ==
* {{cite journal |title=A Consistent Approach in Logic Synthesis for FPGA Architectures |author-last1=Burgun |author-first1=Luc |author-last2=Greiner |author-first2=Alain |author3=Prado Lopes Eudes |journal=Proceedings of the International Conference on ASIC |location=Pekin |date=October 1994 |pages=104–107}}
* {{cite book |editor-first1=Laung-Terng |editor-last1=Wang |editor-first2=Yao-Wen |editor-last2=Chang |editor-first3=Kwang-Ting |editor-last3=Cheng |title=Electronic design automation: synthesis, verification, and test |date=2009 |author-first1=Jie-Hong "Roland" |author-last1=Jiang |author-first2=Srinivas |author-last2=Devadas |chapter=Chapter 6: Logic synthesis in a nutshell |publisher=Morgan Kaufmann |isbn=978-0-12-374364-0}}
* {{cite book |author-first1=Gary D. |author-last1=Hachtel |author-first2=Fabio |author-last2=Somenzi |title=Logic Synthesis and Verification Algorithms |date=2006 |orig-date=1996 |publisher=[[Springer Science & Business Media]] |isbn=0-7923-9746-0 }}
* {{cite book |editor-first1=Soha |editor-last1=Hassoun |editor-link1=Soha Hassoun |editor-first2=Tsutomu |editor-last2=Sasao |title=Logic synthesis and verification |date=2002 |publisher=Kluwer |isbn=978-0-7923-7606-4}}
* {{cite book |title=A Survey of Literature on Function Decomposition |chapter=6. Historical Overview of the Research on Decomposition |version=Version IV |author-first1=Marek A. |author-last1=Perkowski |author-first2=Stanislaw |author-last2=Grygiel |publisher=Functional Decomposition Group, Department of Electrical Engineering, Portland University, Portland, Oregon, USA |date=1995-11-20 |citeseerx=10.1.1.64.1129 |url=http://web.cecs.pdx.edu/~mperkows/=PUBLICATIONS/PER/G1995/survey.pdf |access-date=2021-03-28 |url-status=live |archive-url=https://web.archive.org/web/20210328181709/http://web.cecs.pdx.edu/~mperkows/=PUBLICATIONS/PER/G1995/survey.pdf |archive-date=2021-03-28}} (188 pages)<!-- http://citeseerx.ist.psu.edu/viewdoc/download?doi=10.1.1.89.4349&rep=rep1&type=pdf -->
* {{cite web |title=Publications in the First Twenty Years of Switching Theory and Logic Design |author-first1=Radomir S.<!-- Stanislav? --> |author-last1=Stanković |author-link1=:de:Radomir S. Stanković |author-first2=Tsutomu |author-last2=Sasao |author-first3=Jaakko Tapio |author-last3=Astola |author-link3=:fi:Jaakko Tapio Astola |series=Tampere International Center for Signal Processing (TICSP) Series |id=#14 |issn=1456-2774 |location=Tampere University of Technology / TTKK, Monistamo, Finland |date=August 2001 |s2cid=62319288 |url=http://ticsp.cs.tut.fi/images/a/a5/Stari-radovi-report.pdf |access-date=2021-03-28 |url-status=live |archive-url=https://web.archive.org/web/20170809064702/http://ticsp.cs.tut.fi/images/a/a5/Stari-radovi-report.pdf |archive-date=2017-08-09}} (4+60 pages)