Publikace

Článek ve sborníku konference

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.

Jazyk publikace:

angličtina

Název publikace:

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

Název (cs):

Fitness funkce využívající SAT solver pro evoluční optimalizaci polymorfních obvodů

Strany:

715-720

Sborník:

Proc. of the 2012 Design, Automation and Test in Europe

Konference:

Design, Automation and Test in Europe 2012

Místo vydání:

Dresden, DE

Rok:

2012

ISBN:

978-1-4577-2145-8

Vydavatel:

European Design and Automation Association

URL:

http://www.date-conference.com/proceedings/ [HTML]

Soubory:

Klíčová slova

multifunction logic, logic synthesis, genetic programming

Anotace

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.

BibTeX:

@INPROCEEDINGS{
   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},
   language = {english},
   url = {http://www.fit.vutbr.cz/research/view_pub.php.cs.iso-8859-2?id=9750}
}

Nacházíte se v sekcích

Hlavní menu

Článek ve sborníku konference