Publication Details

Towards a Scalable EA-based Optimization of Digital Circuits

KOCNOVÁ Jitka and VAŠÍČEK Zdeněk. Towards a Scalable EA-based Optimization of Digital Circuits. In: Genetic Programming 22nd European Conference, EuroGP 2019. Cham: Springer International Publishing, 2019, pp. 81-97. ISBN 978-3-030-16669-4.
Czech title
Škálovatelná evoluční optimalizace digitálních obvodů
Type
conference paper
Language
english
Authors
Keywords

Cartesian Genetic Programming, Resynthesis, Logic optimization

Abstract

Scalability of fitness evaluation was the main bottleneck preventing adopting the evolution in the task of logic circuits synthesis since early nineties. Recently, various formal approaches have been introduced to this field to overcome this issue. This made it possible to optimize complex circuits consisting of hundreds of inputs and thousands of gates. Unfortunately, we are facing to the another problem - scalability of representation. The efficiency of the evolutionary optimization applied at the global level deteriorates with the increasing complexity. In this paper, we propose to apply the concept of local resynthesis. Resynthesis is an iterative process based on extraction of smaller sub-circuits from a complex circuit that are optimized locally and implanted back to the original circuit. When applied appropriately, this approach can mitigate the problem of scalability of representation. Our evaluation on a set of nontrivial real-world benchmark problems shows that the proposed method provides better results compared to global evolutionary optimization. In more than 60\% cases, substantially higher number of redundant gates was removed while keeping the computational effort at the same level.

Published
2019
Pages
81-97
Proceedings
Genetic Programming 22nd European Conference, EuroGP 2019
Conference
22nd European Conference on Genetic Programming, Leipzig, DE
ISBN
978-3-030-16669-4
Publisher
Springer International Publishing
Place
Cham, DE
DOI
EID Scopus
BibTeX
@INPROCEEDINGS{FITPUB11858,
   author = "Jitka Kocnov\'{a} and Zden\v{e}k Va\v{s}\'{i}\v{c}ek",
   title = "Towards a Scalable EA-based Optimization of Digital Circuits",
   pages = "81--97",
   booktitle = "Genetic Programming 22nd European Conference, EuroGP 2019",
   year = 2019,
   location = "Cham, DE",
   publisher = "Springer International Publishing",
   ISBN = "978-3-030-16669-4",
   doi = "10.1007/978-3-030-16670-0\_6",
   language = "english",
   url = "https://www.fit.vut.cz/research/publication/11858"
}
Back to top