Fakulta informačních technologií VUT v Brně

Detail publikace

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, s. 139-150. ISBN 978-3-319-16500-4.
Název česky
Optimalizace kombinačních obvodů s stovkou vstupů a tisíci hradel pomocí kartézského genetického programování
Typ
článek ve sborníku konference
Jazyk
angličtina
Autoři
Abstrakt
Článek představuje novou techniku pro optimalizaci komplexních číslicových obvodů založenou na využití kartézského genetického programování. Navržená metoda kombinuje simulaci a formální verifikaci ve výpočtu fitness hodnoty, čímž se podařilo významně vylepšit škálovatelnost. Metoda byla vyhodnocena na sadě čítající 100 benchmarkových obvodů, kde se podařilo vylepšit počet hradel o více než 34%.
Rok
2015
Strany
139-150
Sborník
Genetic Programming, 18th European Conference, EuroGP 2015
Řada
LCNS 9025
Konference
18th European Conference on Genetic Programming, Kodaň, DK
ISBN
978-3-319-16500-4
Vydavatel
Springer International Publishing
Místo
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"
}
Soubory
Nahoru