Fakulta informačních technologií VUT v Brně

Detail publikace

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

MIKUŠEK Petr a DVOŘÁK Václav. Heuristic Synthesis of Multi-Terminal BDDs Based on Local Width/Cost Minimization. In: 12th EUROMICRO Conference on Digital System Design DSD 2009. Patras: IEEE Computer Society, 2009, s. 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
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í. 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
Konference
12th EUROMICRO Conference on Digital System Design, DSD'2009, Patras, GR
ISBN
978-0-7695-3782-5
Vydavatel
IEEE Computer Society
Místo
Patras, GR
BibTeX
@INPROCEEDINGS{FITPUB8993,
   author = "Petr Miku\v{s}ek and V\'{a}clav Dvo\v{r}\'{a}k",
   title = "Heuristic Synthesis of Multi-Terminal BDDs Based on Local Width/Cost Minimization",
   pages = "605--608",
   booktitle = "12th EUROMICRO Conference on Digital System Design DSD 2009",
   year = 2009,
   location = "Patras, GR",
   publisher = "IEEE Computer Society",
   ISBN = "978-0-7695-3782-5",
   language = "english",
   url = "https://www.fit.vut.cz/research/publication/8993"
}
Soubory
Nahoru