Detail publikace

Heuristic Synthesis of Multi-Terminal BDDs Based on Local Width/Cost Minimization

MIKUŠEK, P.; DVOŘÁK, V. Heuristic Synthesis of Multi-Terminal BDDs Based on Local Width/Cost Minimization. 12th EUROMICRO Conference on Digital System Design DSD 2009. Patras: IEEE Computer Society, 2009. p. 605-608. ISBN: 978-0-7695-3782-5.
Název česky
Heuristická syntéza MTBDD založená na minimalizaci lokální šířky/ceny
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ý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).

Rok
2009
Strany
605–608
Sborník
12th EUROMICRO Conference on Digital System Design DSD 2009
ISBN
978-0-7695-3782-5
Vydavatel
IEEE Computer Society
Místo
Patras
BibTeX 
@inproceedings{BUT33791,
  author="Petr {Mikušek} and Václav {Dvořák}",
  title="Heuristic Synthesis of Multi-Terminal BDDs Based on Local Width/Cost Minimization",
  booktitle="12th EUROMICRO Conference on Digital System Design DSD 2009",
  year="2009",
  pages="605--608",
  publisher="IEEE Computer Society",
  address="Patras",
  isbn="978-0-7695-3782-5",
  url="https://www.fit.vut.cz/research/publication/8993/"
}
Nahoru