Detail publikace

A Global Postsynthesis Optimization Method for Combinational Circuits

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.
Název česky
Metoda pro globální post-syntézní optimalizaci kombinačních obvodů
Typ
článek ve sborníku konference
Jazyk
angličtina
Autoři
Vašíček Zdeněk, doc. Ing., Ph.D. (UPSY FIT VUT)
Sekanina Lukáš, prof. Ing., Ph.D. (UPSY FIT VUT)
URL
Abstrakt

Č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%.

Rok
2011
Strany
1525-1528
Sborník
Proc. of the Design, Automation and Test in Europe DATE 2011
Konference
Design, Automation and Test in Europe 2011, Grenoble, FR
ISBN
978-3-9810801-7-9
Vydavatel
European Design and Automation Association
Místo
Grenoble, FR
BibTeX 
@INPROCEEDINGS{FITPUB9521,
   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 = "https://www.fit.vut.cz/research/publication/9521"
}
Soubory
Nahoru