Detail publikace

Multi-Terminal BDDs in Microprocessor-Based Control

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

DVOŘÁK, V.

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

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