Novel Approach To Synthesis of Logic Circuits Based on Multifunctional Components

Abstract Multifunctional logic continuously becomes an important way how to implement compact and cheap circuits with intrinsic reconfiguration features. Polymorphic electronics concept with its substantial technological independency opens a way to fulfil this objective through the adoption of emerging semiconductor technologies and advanced synthesis methods. The paper comes with a proposal of a novel synthesis method oriented on the exploitation of polymorphic electronics principles. Key part of it is based on Boolean divisor identification and function kernelling technique. The proposed method is evaluated with several test circuits.

[1]  R. Růžička,et al.  More Complex Polymorphic Circuits: A Way to Implementation of Smart Dependable Systems , 2013 .

[2]  Wei Wang,et al.  Reconfigurable multi-function logic based on graphene p-n junctions , 2010, Design Automation Conference.

[3]  Lukás Sekanina,et al.  Reducing the number of transistors in digital circuits using gate-level evolutionary design , 2007, GECCO '07.

[4]  John F. Wakerly,et al.  Digital design - principles and practices , 1990, Prentice Hall Series in computer engineering.

[5]  Adrian Stoica,et al.  Polymorphic Electronics , 2001, ICES.

[6]  Fabio Somenzi,et al.  Logic synthesis and verification algorithms , 1996 .

[7]  Lukás Fujcik,et al.  REPOMO32 - New reconfigurable polymorphic integrated circuit for adaptive hardware , 2009, 2009 IEEE Workshop on Evolvable and Adaptive Hardware.

[8]  John R. Koza,et al.  Genetic programming - on the programming of computers by means of natural selection , 1993, Complex adaptive systems.

[9]  Michael Hbner,et al.  Reconfigurable Computing: From FPGAs to Hardware/Software Codesign , 2011 .

[10]  Martin A. Trefzer,et al.  Evolvable Hardware: From Practice to Application , 2015 .

[11]  Louise Trevillyan,et al.  Logic Synthesis Through Local Transformations , 1981, IBM J. Res. Dev..

[12]  Julian Francis Miller,et al.  Cartesian genetic programming , 2000, GECCO '10.

[13]  Lukás Sekanina,et al.  Ubiquity symposium: Evolutionary computation and the processes of life: evolutionary computation in physical world , 2013, UBIQ.

[14]  D. Fogel Evolutionary algorithms in theory and practice , 1997, Complex..

[15]  Lukás Sekanina,et al.  On Evolutionary Synthesis of Compact Polymorphic Combinational Circuits , 2011, J. Multiple Valued Log. Soft Comput..

[16]  Tsutomu Sasao,et al.  Logic Synthesis and Verification , 2013 .

[17]  Thomas Mikolajick,et al.  Reconfigurable nanowire electronics – A review , 2014 .