Detail publikace

A Global Postsynthesis Optimization Method for Combinational Circuits

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

logic synthesis, genetic programming, SAT solver

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
ISBN
978-3-9810801-7-9
Vydavatel
European Design and Automation Association
Místo
Grenoble
BibTeX 
@inproceedings{BUT76297,
  author="Zdeněk {Vašíček} and Lukáš {Sekanina}",
  title="A Global Postsynthesis Optimization Method for Combinational Circuits",
  booktitle="Proc. of the Design, Automation and Test in Europe DATE 2011",
  year="2011",
  pages="1525--1528",
  publisher="European Design and Automation Association",
  address="Grenoble",
  isbn="978-3-9810801-7-9",
  url="https://www.fit.vut.cz/research/publication/9521/"
}
Nahoru