Detail publikace
Multi-Terminal BDD Synthesis and Applications
MIKUŠEK Petr. Multi-Terminal BDD Synthesis and Applications. In: Proceedings 19th International Conference on Field Programmable Logic and Applications (FPL). Prague: IEEE Computer Society, 2009, s. 721-722. ISBN 978-1-4244-3892-1.
Název česky
Syntéza multi-terminálních BDD a aplikace
Typ
článek ve sborníku konference
Jazyk
angličtina
Autoři
Mikušek Petr, Ing. (UPSY FIT VUT)
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í. 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).
Rok
2009
Strany
721-722
Sborník
Proceedings 19th International Conference on Field Programmable Logic and Applications (FPL)
Konference
The International Conference on Field Programmable Logic and Applications , Prague, CZ
ISBN
978-1-4244-3892-1
Vydavatel
IEEE Computer Society
Místo
Prague, CZ
BibTeX
@INPROCEEDINGS{FITPUB8994, author = "Petr Miku\v{s}ek", title = "Multi-Terminal BDD Synthesis and Applications", pages = "721--722", booktitle = "Proceedings 19th International Conference on Field Programmable Logic and Applications (FPL)", year = 2009, location = "Prague, CZ", publisher = "IEEE Computer Society", ISBN = "978-1-4244-3892-1", language = "english", url = "https://www.fit.vut.cz/research/publication/8994" }
Soubory