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