Přístupnostní navigace
E-přihláška
Vyhledávání Vyhledat Zavřít
Detail publikace
DVOŘÁK, V.
Originální název
Multi-Terminal BDDs in Microprocessor-Based Control
Typ
článek ve sborníku mimo WoS a Scopus
Jazyk
angličtina
Originální abstrakt
The paper addresses software implementation of logic-intensive control algorithms whose implementation with the smallest memory footprint is often required in embedded systems. A presented heuristic method of Multi-Terminal Binary Decision Diagram (MTBDD) synthesis aims to minimize the cost of a resulting diagram and thus the required amount of memory to store it.Evaluation of Boolean functions then reduces to traversing a MTBDD, one or more variables in a single step, according to a required speed. In terms of program execution, the evaluation process essentially does a sequence of indirect memory accesses to dispatch tables. The presented method is flexible in making trade-offs between performance and memory consumption and may be thus useful for embedded microprocessor or microcontroller software.
Klíčová slova
Microprocessor-based control, Multi-Terminal Binary Decision Diagrams, MTBDD, optimal variable ordering, arbiters
Autoři
Rok RIV
2010
Vydáno
15. 6. 2010
Nakladatel
Institute for Systems and Technologies of Information, Control and Communication
Místo
Funchal, Madeira
ISBN
978-989-8425-02-7
Kniha
Proceedings ICINCO 2010
Strany od
140
Strany do
145
Strany počet
6
URL
https://www.fit.vut.cz/research/publication/9240/
BibTex
@inproceedings{BUT35524, author="Václav {Dvořák}", title="Multi-Terminal BDDs in Microprocessor-Based Control", booktitle="Proceedings ICINCO 2010", year="2010", pages="140--145", publisher="Institute for Systems and Technologies of Information, Control and Communication", address="Funchal, Madeira", isbn="978-989-8425-02-7", url="https://www.fit.vut.cz/research/publication/9240/" }