Detail publikace

Multi-Terminal BDDs in Microprocessor-Based Control

DVOŘÁK Václav. Multi-Terminal BDDs in Microprocessor-Based Control. In: Proceedings ICINCO 2010. Funchal, Madeira: Institute for Systems and Technologies of Information, Control and Communication, 2010, s. 140-145. ISBN 978-989-8425-02-7.
Název česky
Multi-terminální rozhodovací diagramy v mikroprocesorovém řízení
Typ
článek ve sborníku konference
Jazyk
angličtina
Autoři
Abstrakt

Č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ů.  

Rok
2010
Strany
140-145
Sborník
Proceedings ICINCO 2010
Konference
7th International Conference on Informatics in Control, Automation and Robotics, Funchal, Madeira, PT, PT
ISBN
978-989-8425-02-7
Vydavatel
Institute for Systems and Technologies of Information, Control and Communication
Místo
Funchal, Madeira, PT
BibTeX
@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"
}
Nahoru