Detail publikace
Multi-Terminal BDD Synthesis and Applications
incompletely specified functions, multi-terminal BDDs, LUT cascades, iterative disjunctive decomposition, functional decomposition
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í. Zlepšený algoritmus syntézy MTBDD s cílem minimalizovat šířku a cenu MTBDD 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).
@inproceedings{BUT33792,
author="Petr {Mikušek}",
title="Multi-Terminal BDD Synthesis and Applications",
booktitle="Proceedings 19th International Conference on Field Programmable Logic and Applications (FPL)",
year="2009",
pages="721--722",
publisher="IEEE Computer Society",
address="Prague",
isbn="978-1-4244-3892-1",
url="https://www.fit.vut.cz/research/publication/8994/"
}