Publication detail

Multi-Terminal BDDs in Microprocessor-Based Control

DVOŘÁK, V.

Original Title

Multi-Terminal BDDs in Microprocessor-Based Control

Type

article in a collection out of WoS and Scopus

Language

English

Original 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.

Keywords

Microprocessor-based control, Multi-Terminal Binary Decision Diagrams, MTBDD, optimal variable ordering, arbiters  

Authors

DVOŘÁK, V.

RIV year

2010

Released

15. 6. 2010

Publisher

Institute for Systems and Technologies of Information, Control and Communication

Location

Funchal, Madeira

ISBN

978-989-8425-02-7

Book

Proceedings ICINCO 2010

Pages from

140

Pages to

145

Pages count

6

URL

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/"
}