Detail publikace

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

VAŠÍČEK, Z. 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. p. 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
anglicky
Autoři
Vašíček Zdeněk, doc. Ing., Ph.D. (UPSY)
Klíčová slova

Genetic programming, Cartesian Genetic Programming, Evolutionary optimization, Combinational circuits, Formal verification

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
ISBN
978-3-319-16500-4
Vydavatel
Springer International Publishing
Místo
Berlin
DOI
10.1007/978-3-319-16501-1_12
UT WoS
000361758600012
EID Scopus
2-s2.0-84925046324
BibTeX 
@inproceedings{BUT119799,
  author="Zdeněk {Vašíček}",
  title="Cartesian GP in Optimization of Combinational Circuits with Hundreds of Inputs and Thousands of Gates",
  booktitle="Genetic Programming, 18th European Conference, EuroGP 2015",
  year="2015",
  series="LCNS 9025",
  pages="139--150",
  publisher="Springer International Publishing",
  address="Berlin",
  doi="10.1007/978-3-319-16501-1\{_}12",
  isbn="978-3-319-16500-4",
  url="https://www.fit.vut.cz/research/publication/10773/"
}
Nahoru