Články na konferencích
| Vašíček, Z., Sekanina, L.: A Global Postsynthesis Optimization Method for Combinational Circuits, In: Proc. of the Design, Automation and Test in Europe DATE 2011, Grenoble, FR, EDAA, 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: | |
|---|
|
| | 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ěk Vašíček and Lukáš 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?id=9521}
} |
|
Fakulta informačních technologií
![[dnssec]](/common/img/dnssec.png)