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

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
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