Detail publikace

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

SEKANINA, L.; VAŠÍČEK, Z. A SAT-based Fitness Function for Evolutionary Optimization of Polymorphic Circuits. Proc. of the 2012 Design, Automation and Test in Europe. Dresden: European Design and Automation Association, 2012. p. 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
anglicky
Autoři
Sekanina Lukáš, prof. Ing., Ph.D. (UPSY)
Vašíček Zdeněk, doc. Ing., Ph.D. (UPSY)
URL
Klíčová slova

multifunction logic, logic synthesis, genetic programming

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
ISBN
978-1-4577-2145-8
Vydavatel
European Design and Automation Association
Místo
Dresden
DOI
10.1109/DATE.2012.6176563
BibTeX 
@inproceedings{BUT91452,
  author="Lukáš {Sekanina} and Zdeněk {Vašíček}",
  title="A SAT-based Fitness Function for Evolutionary Optimization of Polymorphic Circuits",
  booktitle="Proc. of the 2012 Design, Automation and Test in Europe",
  year="2012",
  pages="715--720",
  publisher="European Design and Automation Association",
  address="Dresden",
  doi="10.1109/DATE.2012.6176563",
  isbn="978-1-4577-2145-8",
  url="https://www.fit.vut.cz/research/publication/9750/"
}
Nahoru