Faculty of Information Technology, BUT

Publication Details

Cartesian GP in Optimization of Combinational Circuits with Hundreds of Inputs and Thousands of Gates

VAŠÍČEK Zdeněk. Cartesian GP in Optimization of Combinational Circuits with Hundreds of Inputs and Thousands of Gates. In: Genetic Programming, 18th European Conference, EuroGP 2015. LCNS 9025. Berlin: Springer International Publishing, 2015, pp. 139-150. ISBN 978-3-319-16500-4.
Czech title
Optimalizace kombinačních obvodů s stovkou vstupů a tisíci hradel pomocí kartézského genetického programování
Type
conference paper
Language
english
Authors
Keywords
Genetic programming, Cartesian Genetic Programming, Evolutionary optimization, Combinational circuits, Formal verification
Abstract

A new approach to the evolutionary optimization of large digital circuits is introduced in this paper. In contrast with evolutionary circuit design, the goal of the evolutionary circuit optimization is to minimize the number of gates (or other non-functional parameters) of already functional circuit. The method combines a circuit simulation with a formal verification in order to detect the functional inequivalence of the parent and its offspring. An extensive set of 100 benchmarks circuits is used to evaluate the performance of the method as well as the utilized evolutionary approach. Moreover, the role of neutral mutations in the context of
evolutionary optimization is investigated. In average, the method enabled a 34% reduction in gate count even if the optimizer was executed only for 15 minutes.
Published
2015
Pages
139-150
Proceedings
Genetic Programming, 18th European Conference, EuroGP 2015
Series
LCNS 9025
Conference
18th European Conference on Genetic Programming, Kodaň, DK
ISBN
978-3-319-16500-4
Publisher
Springer International Publishing
Place
Berlin, DE
DOI
BibTeX
@INPROCEEDINGS{FITPUB10773,
   author = "Zden\v{e}k Va\v{s}\'{i}\v{c}ek",
   title = "Cartesian GP in Optimization of Combinational Circuits with Hundreds of Inputs and Thousands of Gates",
   pages = "139--150",
   booktitle = "Genetic Programming, 18th European Conference, EuroGP 2015",
   series = "LCNS 9025",
   year = 2015,
   location = "Berlin, DE",
   publisher = "Springer International Publishing",
   ISBN = "978-3-319-16500-4",
   doi = "10.1007/978-3-319-16501-1\_12",
   language = "english",
   url = "https://www.fit.vut.cz/research/publication/10773"
}
Files
Back to top