Publication Details

Multi-Terminal BDDs in Microprocessor-Based Control

DVOŘÁK, V. Multi-Terminal BDDs in Microprocessor-Based Control. Proceedings ICINCO 2010. Funchal, Madeira: Institute for Systems and Technologies of Information, Control and Communication, 2010. p. 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
Dvořák Václav, prof. Ing., DrSc.
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
ISBN
978-989-8425-02-7
Publisher
Institute for Systems and Technologies of Information, Control and Communication
Place
Funchal, Madeira
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/"
}
Back to top