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

Detail publikace

Extensions of Cartesian Genetic Programming for Optimization of Complex Combinational Circuits

VAŠÍČEK Zdeněk a SEKANINA Lukáš. Extensions of Cartesian Genetic Programming for Optimization of Complex Combinational Circuits. In: Proc. of the 20th International Workshop on Logic and Synthesis. San Diego: University of California San Diego, 2011, s. 55-61.
Typ
článek ve sborníku konference
Jazyk
angličtina
Autoři
Abstrakt
Článek popisuje dvě rozšíření kartézského genetického programování pro optimalizaci kombinačních obvodů: použití formální verifikace pro urychlení evaluace kandidátních řešení a novou selekční strategii. Za cenu výpočetního času došlo k redukci počtu hradel v průměru o 24% vzhledem ke standardním nástrojům pro logickou syntézu.
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, San Diego, US
Vydavatel
University of California San Diego
Místo
San Diego, US
BibTeX
@INPROCEEDINGS{FITPUB9664,
   author = "Zden\v{e}k Va\v{s}\'{i}\v{c}ek and Luk\'{a}\v{s} Sekanina",
   title = "Extensions of Cartesian Genetic Programming for Optimization of  Complex Combinational Circuits",
   pages = "55--61",
   booktitle = "Proc. of the 20th International Workshop on Logic and Synthesis",
   year = 2011,
   location = "San Diego, US",
   publisher = "University of California San Diego",
   language = "english",
   url = "https://www.fit.vut.cz/research/publication/9664"
}
Nahoru