Detail publikace

Heuristic Synthesis of MTBDDs Based On Local Width Minimization

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.
Název česky
Heuristická syntéza MTBDD založená na minimalizaci lokální šířky
Typ
článek ve sborníku konference
Jazyk
angličtina
Autoři
Mikušek Petr, Ing. (UPSY FIT VUT)
Dvořák Václav, prof. Ing., DrSc. (UPSY FIT VUT)
Abstrakt

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

Rok
2009
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, Znojmo, CZ
ISBN
978-80-87342-04-6
Vydavatel
Masarykova universita
Místo
Znojmo, CZ
BibTeX 
@INPROCEEDINGS{FITPUB9112,
   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 = "https://www.fit.vut.cz/research/publication/9112"
}
Soubory
Nahoru