Detail publikace
Multi-Terminal BDDs in Microprocessor-Based Control
Článek se zabývá softwarovou implementací algoritmů intenzivně využívajících logické funkce, když je např. u vestavěných systémů vyžadována minimální paměťová stopa. Předložená heuristická metoda syntézy Multi-Terminálních Binárních Rozhodovacích Diagramů (MTBDD) má za cíl minimalizovat cenu výsledného diagramu a tím i velikost paměti pro jeho uložení. Vyhodnocení Booleovských funkcí se pak redukuje na průchod MTBDD, po jedné nebo více proměnných v jednom kroku, podle požadované rychlosti. Programově jde o sekvenci nepřímých přístupů do paměti rozhodovacích tabulek. Předložená metoda je flexibilní při tvorbě kompromisů mezi výkonností a paměťovou náročností a může tak být užitečná pro software vestavěných mikroprocesorů nebo mikrokontrolérů.
@INPROCEEDINGS{FITPUB9240, author = "V\'{a}clav Dvo\v{r}\'{a}k", title = "Multi-Terminal BDDs in Microprocessor-Based Control", pages = "140--145", booktitle = "Proceedings ICINCO 2010", year = 2010, location = "Funchal, Madeira, PT", publisher = "Institute for Systems and Technologies of Information, Control and Communication", ISBN = "978-989-8425-02-7", language = "english", url = "https://www.fit.vut.cz/research/publication/9240" }