Prof. Ing. Lukáš Sekanina, Ph.D.

VAŠÍČEK Zdeněk and SEKANINA Lukáš. Evolutionary approximation of complex digital circuits. In: Proceedings of the Companion Publication of the 2015 on Genetic and Evolutionary Computation Conference. New York: Association for Computing Machinery, 2015, pp. 1505-1506. ISBN 978-1-4503-3488-4.
Publication language:english
Original title:Evolutionary approximation of complex digital circuits
Title (cs):Evoluční aproximace složitých číslicových obvodů
Proceedings:Proceedings of the Companion Publication of the 2015 on Genetic and Evolutionary Computation Conference
Conference:Genetic and Evolutionary Computations Conference 2015
Place:New York, US
Publisher:Association for Computing Machinery
digital circuit, approximate computing, binary decision diagram, evolutionary design 

Circuit approximation has been developed in recent years as a viable method for constructing energy efficient electronic systems. An open problem is how to effectively obtain approximate circuits showing good compromises between key circuit parameters - the error, power consumption, area and delay.  The use of evolutionary algorithms in the task of circuit approximation has led to promising results; however, only relative simple circuit instances have been tackled because of the scalability problems of the evolutionary design method. We propose to replace the most time consuming part of the evolutionary design algorithm, i.e. the fitness calculation exponentially depending on the number of circuit inputs, by an equivalence checking algorithm operating over Binary Decision Diagrams (BDDs). Approximate circuits are evolved using Cartesian genetic programming which calls a  BDD solver to calculate the fitness value of candidate circuits. The method enables to obtain approximate circuits consisting of tens of inputs and hundreds of gates and showing desired trade-off between key circuit parameters.
   author = {Zden{\v{e}}k Va{\v{s}}{\'{i}}{\v{c}}ek and
	Luk{\'{a}}{\v{s}} Sekanina},
   title = {Evolutionary approximation of complex digital
   pages = {1505--1506},
   booktitle = {Proceedings of the Companion Publication of the 2015 on
	Genetic and Evolutionary Computation Conference},
   year = 2015,
   location = {New York, US},
   publisher = {Association for Computing Machinery},
   ISBN = {978-1-4503-3488-4},
   doi = {10.1145/2739482.2764657},
   language = {english},
   url = {}

Your IPv4 address:
Switch to https