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

Detail publikace

A SAT-based Fitness Function for Evolutionary Optimization of Polymorphic Circuits

SEKANINA Lukáš a VAŠÍČEK Zdeněk. A SAT-based Fitness Function for Evolutionary Optimization of Polymorphic Circuits. In: Proc. of the 2012 Design, Automation and Test in Europe. Dresden: European Design and Automation Association, 2012, s. 715-720. ISBN 978-1-4577-2145-8.
Název česky
Fitness funkce využívající SAT solver pro evoluční optimalizaci polymorfních obvodů
Typ
článek ve sborníku konference
Jazyk
angličtina
Autoři
URL
Abstrakt
Vícefunkční (nebo polymorfní) hradla mohou být použita pro realizaci vícefunkčních obvodů, které jsou schopny plnit různé funkce v různých prostředích. V článku je navrženo použití SAT solveru pro redukci doby evaluace kandidátního polymorfního obvodu, jehož velikost je optimalizována pomocí genetického programování. Navržená metoda umožnila zredukovat počet hradel v testovacích obvodech o cca 30% v porovnání s existujícími přístupy.
Rok
2012
Strany
715-720
Sborník
Proc. of the 2012 Design, Automation and Test in Europe
Konference
Design, Automation and Test in Europe 2012, Dresden, DE
ISBN
978-1-4577-2145-8
Vydavatel
European Design and Automation Association
Místo
Dresden, DE
DOI
BibTeX
@INPROCEEDINGS{FITPUB9750,
   author = "Luk\'{a}\v{s} Sekanina and Zden\v{e}k Va\v{s}\'{i}\v{c}ek",
   title = "A SAT-based Fitness Function for Evolutionary Optimization of Polymorphic Circuits",
   pages = "715--720",
   booktitle = "Proc. of the 2012 Design, Automation and Test in Europe",
   year = 2012,
   location = "Dresden, DE",
   publisher = "European Design and Automation Association",
   ISBN = "978-1-4577-2145-8",
   doi = "10.1109/DATE.2012.6176563",
   language = "english",
   url = "https://www.fit.vut.cz/research/publication/9750"
}
Soubory
Nahoru