Faculty of Information Technology, BUT

Publication Details

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, pp. 140-145. ISBN 978-989-8425-02-7.
Czech title
Multi-terminální rozhodovací diagramy v mikroprocesorovém řízení
Type
conference paper
Language
english
Authors
Keywords
Microprocessor-based control, Multi-Terminal Binary Decision Diagrams, MTBDD, optimal variable ordering, arbiters  
Abstract
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.
Published
2010
Pages
140-145
Proceedings
Proceedings ICINCO 2010
Conference
7th International Conference on Informatics in Control, Automation and Robotics, Funchal, Madeira, PT, PT
ISBN
978-989-8425-02-7
Publisher
Institute for Systems and Technologies of Information, Control and Communication
Place
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"
}
Back to top