"logic synthesis, optimization, genetic programming, selection"@en . "Sekanina, Luk\u00E1\u0161" . "On Area Minimization of Complex Combinational Circuits Using Cartesian Genetic Programming"@en . . . . "2012-06-10+02:00"^^ . "CA" . . . . . "2012 IEEE World Congress on Computational Intelligence" . . . "RIV/00216305:26230/12:PU101751!RIV13-GA0-26230___" . "156181" . "The paper deals with the evolutionary post synthesis optimization of complex combinational circuits with the aim of reducing the area on a chip as much as possible. In order to optimize complex circuits, Cartesian Genetic Programming (CGP) is employed where the fitness function is based on a formal equivalence checking algorithm rather than evaluating all possible input assignments. The standard selection strategy of CGP is modified to be more explorative and so agile in very rugged fitness landscapes. It was shown on the LGSynth93 benchmark circuits that the modified selection strategy leads to more compact circuits in roughly 50% cases. The average area improvement is 24% with respect to the results of conventional synthesis. Delay of optimized circuits was also analyzed.\u00A0" . . . "000312859303081" . . "RIV/00216305:26230/12:PU101751" . "978-1-4673-1508-1" . . "2"^^ . "The paper deals with the evolutionary post synthesis optimization of complex combinational circuits with the aim of reducing the area on a chip as much as possible. In order to optimize complex circuits, Cartesian Genetic Programming (CGP) is employed where the fitness function is based on a formal equivalence checking algorithm rather than evaluating all possible input assignments. The standard selection strategy of CGP is modified to be more explorative and so agile in very rugged fitness landscapes. It was shown on the LGSynth93 benchmark circuits that the modified selection strategy leads to more compact circuits in roughly 50% cases. The average area improvement is 24% with respect to the results of conventional synthesis. Delay of optimized circuits was also analyzed.\u00A0"@en . . . "Va\u0161\u00ED\u010Dek, Zden\u011Bk" . . "6"^^ . . "P(ED1.1.00/02.0070), P(GAP103/10/1517), S, Z(MSM0021630528)" . "On Area Minimization of Complex Combinational Circuits Using Cartesian Genetic Programming" . "2"^^ . "26230" . "[9575EB3C47B1]" . . "Brisbane" . "10.1109/CEC.2012.6256649" . . "Institute of Electrical and Electronics Engineers" . . "On Area Minimization of Complex Combinational Circuits Using Cartesian Genetic Programming"@en . . . "On Area Minimization of Complex Combinational Circuits Using Cartesian Genetic Programming" . .