Detail publikace

Heuristic Synthesis of MTBDDs Based On Local Width Minimization

MIKUŠEK, P.; DVOŘÁK, V. Heuristic Synthesis of MTBDDs Based On Local Width Minimization. 5th Doctoral Workshop on Mathematical and Engineering Methods in Computer Science. Znojmo: Masaryk University, 2009. p. 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
anglicky
Autoři
Mikušek Petr, Ing.
Dvořák Václav, prof. Ing., DrSc.
Klíčová slova

incompletely specified functions, multi-terminal BDDs, LUT cascades,iterative disjunctive decomposition, functional decomposition

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ýchdiagramů je však obtížná, zejména když jde o diagramy v nějakém smysluoptimální. Bude prezentován zlepšený algoritmus syntézy MTBDD s cílemminimalizovat šíř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 hardwarovouimplementaci (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 -- 5. Doktorský workshop o matematických a inženýrských metodách v informatice, Znojmo, CZ
ISBN
978-80-87342-04-6
Vydavatel
Masaryk University
Místo
Znojmo
BibTeX 
@inproceedings{BUT30908,
  author="Petr {Mikušek} and Václav {Dvořák}",
  title="Heuristic Synthesis of MTBDDs Based On Local Width Minimization",
  booktitle="5th Doctoral Workshop on Mathematical and Engineering Methods in Computer Science",
  year="2009",
  pages="235--235",
  publisher="Masaryk University",
  address="Znojmo",
  isbn="978-80-87342-04-6",
  url="https://www.fit.vut.cz/research/publication/9112/"
}
Soubory
Nahoru