Článek ve sborníku konference

MIKUŠEK Petr a DVOŘÁK Václav. Heuristic Synthesis of MTBDDs Based On Local Width Minimization. In: 5th Doctoral Workshop on Mathematical and Engineering Methods in Computer Science. Znojmo: Masarykova universita, 2009, s. 235-235. ISBN 978-80-87342-04-6.
Jazyk publikace:angličtina
Název publikace:Heuristic Synthesis of MTBDDs Based On Local Width Minimization
Název (cs):Heuristická syntéza MTBDD založená na minimalizaci lokální šířky
Strany:235-235
Sborník:5th Doctoral Workshop on Mathematical and Engineering Methods in Computer Science
Konference:MEMICS'09 -- 5th Doctoral Workshop on Mathematical and Engineering Methods in Computer Science
Místo vydání:Znojmo, CZ
Rok:2009
ISBN:978-80-87342-04-6
Vydavatel:Masarykova universita
Soubory: 
+Typ Jméno Název Vel. Poslední změna
iconmemics09.pdf42,3 KB2009-11-19 13:34:33
^ 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í. Bude prezentován zlepšený algoritmus syntézy MTBDD s cílem minimalizovat šířku 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{\v{s}}ek and V{\'{a}}clav
	Dvo{\v{r}}{\'{a}}k},
   title = {Heuristic Synthesis of MTBDDs Based On Local Width
	Minimization},
   pages = {235--235},
   booktitle = {5th Doctoral Workshop on Mathematical and Engineering
	Methods in Computer Science},
   year = 2009,
   location = {Znojmo, CZ},
   publisher = {Masaryk University},
   ISBN = {978-80-87342-04-6},
   language = {english},
   url = {http://www.fit.vutbr.cz/research/view_pub.php.cs?id=9112}
}

Vaše IPv4 adresa: 34.237.75.18
Přepnout na https