Prof. Ing. Lukáš Sekanina, Ph.D.

VAŠÍČEK Zdeněk a SEKANINA Lukáš. A Global Postsynthesis Optimization Method for Combinational Circuits. In: Proc. of the Design, Automation and Test in Europe DATE 2011. Grenoble: European Design and Automation Association, 2011, s. 1525-1528. ISBN 978-3-9810801-7-9.
Jazyk publikace:angličtina
Název publikace:A Global Postsynthesis Optimization Method for Combinational Circuits
Název (cs):Metoda pro globální post-syntézní optimalizaci kombinačních obvodů
Strany:1525-1528
Sborník:Proc. of the Design, Automation and Test in Europe DATE 2011
Konference:Design, Automation and Test in Europe 2011
Místo vydání:Grenoble, FR
Rok:2011
ISBN:978-3-9810801-7-9
Vydavatel:European Design and Automation Association
URL:http://www.date-conference.com/proceedings/ [HTML]
Soubory: 
+Typ Jméno Název Vel. Poslední změna
iconIP5_08.PDF146 KB2011-03-21 13:31:44
^ Vybrat vše
S vybranými:
Klíčová slova
logic synthesis, genetic programming, SAT solver
Anotace
Článek popisuje metodu pro evoluční optimalizaci počtu hradel v obvodech získaných klasickou syntézou, např. metodou ABC nebo SIS. Hlavním přínosem je zavedení nové fitness funkce, která umožňuje zredukovat dobu evaluace kandidátního řešení. Využívá podobnosti rodičovského obvodu a jeho potomka ke snížení výpočetní náročnosti funkční ekvivalence pomocí SAT solveru. U testovacích obvodů ze sady LGSynth93 umožňila metoda snížit za cenu výpočetního času počet hradel o 20-40%.
BibTeX:
@INPROCEEDINGS{
   author = {Zden{\v{e}}k Va{\v{s}}{\'{i}}{\v{c}}ek and Luk{\'{a}}{\v{s}}
	Sekanina},
   title = {A Global Postsynthesis Optimization Method for Combinational
	Circuits},
   pages = {1525--1528},
   booktitle = {Proc. of the Design, Automation and Test in Europe DATE 2011},
   year = {2011},
   location = {Grenoble, FR},
   publisher = {European Design and Automation Association},
   ISBN = {978-3-9810801-7-9},
   language = {english},
   url = {http://www.fit.vutbr.cz/research/view_pub.php.cs?id=9521}
}

Vaše IPv4 adresa: 54.166.150.10
Přepnout na IPv6 spojení

DNSSEC [dnssec]