Článek ve sborníku konference

 
Mikušek, P., Dvořák, V.: Heuristic Synthesis of Multi-Terminal BDDs Based on Local Width/Cost Minimization, In: 12th EUROMICRO Conference on Digital System Design DSD 2009, Patras, GR, IEEE CS, 2009, s. 605-608, ISBN 978-0-7695-3782-5
Jazyk publikace:angličtina
Název publikace:Heuristic Synthesis of Multi-Terminal BDDs Based on Local Width/Cost Minimization
Název (cs):Heuristická syntéza MTBDD založená na minimalizaci lokální šířky/ceny
Strany:605-608
Sborník:12th EUROMICRO Conference on Digital System Design DSD 2009
Konference:12th EUROMICRO Conference on Digital System Design, DSD'2009
Místo vydání:Patras, GR
Rok:2009
ISBN:978-0-7695-3782-5
Vydavatel:IEEE Computer Society
Soubory: 
+Typ Jméno Název Vel. Změněn
iconDSD09.pdf242 KB2009-08-06 11:08:47
^ Vybrat vše
S vybranými:
Klíčová slova
incompletely specified functions, multi-terminal BDDs, LUT cascades, iterative disjunctive decomposition, functional decomposition
Anotace
Multi-terminální binární rozhodovací diagramy (MTBDDs) jsou užitečné pro reprezentaci boolovských funkcí s více výstupy. Konstrukce takových diagramů je však obtížná, zejména když jde o diagramy v nějakém smyslu optimální. V článku je uveden zlepšený algoritmus syntézy MTBDD s cílem minimalizovat šířku a cenu MTBDD. Uvedený algoritmus je jádrem vyšší verze nástroje pro syntézu, který na vstupu akceptuje neúplné celočíselné funkce boolovských proměnných specifikované krychlemi, které se mohou i překrývat. Navržená technika je vhodná pro hardwarovou implementaci (kaskády tabulek LUT) nebo pro syntézu firmware (mikroprogramy s větvením).
BibTeX:
@INPROCEEDINGS{
   author = {Petr Mikušek and Václav Dvořák},
   title = {Heuristic Synthesis of Multi-Terminal BDDs Based on Local
	Width/Cost Minimization},
   pages = {605--608},
   booktitle = {12th EUROMICRO Conference on Digital System Design DSD 2009},
   year = {2009},
   location = {Patras, GR},
   publisher = {IEEE Computer Society},
   ISBN = {978-0-7695-3782-5},
   language = {english},
   url = {http://www.fit.vutbr.cz/research/view_pub.php?id=8993}
}