Detail výsledku

Extensions of Cartesian Genetic Programming for Optimization of Complex Combinational Circuits

VAŠÍČEK, Z.; SEKANINA, L. Extensions of Cartesian Genetic Programming for Optimization of Complex Combinational Circuits. Proc. of the 20th International Workshop on Logic and Synthesis. San Diego: University of California San Diego, 2011. p. 55-61.
Typ
článek ve sborníku konference
Jazyk
anglicky
Autoři
Abstrakt

Evolution and optimization of digital circuits using standard Cartesian Genetic Programming (CGP) is not scalable mainly because the evaluation time grows exponentially with increasing number of circuit inputs. We propose to combine two extensions of CGP to improve post-synthesis optimization capabilities of CGP. Firstly, we replace the standard fitness function by an equivalence checking algorithm which significantly reduces the fitness evaluation time for complex circuits. Secondly, we propose to modify the selection strategy of CGP to increase the number of functionally correct solutions that can be created using a mutation operator. Proposed extensions of CGP are evaluated using the LGSynth93 benchmark circuits. Experimental results show that extended CGP can significantly reduce the number of gates (area reduced by 24% on average) in benchmark circuits for the cost of runtime in comparison to conventional methods such as SIS and ABC.

Klíčová slova

logic optimization, genetic programming, digital circuit

Rok
2011
Strany
55–61
Sborník
Proc. of the 20th International Workshop on Logic and Synthesis
Konference
International Workshop on Logic and Synthesis 2011
Vydavatel
University of California San Diego
Místo
San Diego
BibTeX
@inproceedings{BUT192752,
  author="Zdeněk {Vašíček} and Lukáš {Sekanina}",
  title="Extensions of Cartesian Genetic Programming for Optimization of  Complex Combinational Circuits",
  booktitle="Proc. of the 20th International Workshop on Logic and Synthesis",
  year="2011",
  pages="55--61",
  publisher="University of California San Diego",
  address="San Diego"
}
Projekty
Natural computing na nekonvenčních platformách, GAČR, Standardní projekty, GAP103/10/1517, zahájení: 2010-01-01, ukončení: 2013-12-31, řešení
Výzkum informačních technologií z hlediska bezpečnosti, MŠMT, Institucionální prostředky SR ČR (např. VZ, VC), MSM0021630528, zahájení: 2007-01-01, ukončení: 2013-12-31, řešení
Výzkumné skupiny
Pracoviště
Nahoru