Detail publikačního výsledku

Multi-Terminal BDDs in Microprocessor-Based Control

DVOŘÁK, V.

Originální název

Multi-Terminal BDDs in Microprocessor-Based Control

Anglický název

Multi-Terminal BDDs in Microprocessor-Based Control

Druh

Stať ve sborníku mimo WoS a Scopus

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.

Anglický 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  

Klíčová slova v angličtině

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

Autoři

DVOŘÁK, V.

Rok RIV

2012

Vydáno

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

Dokumenty

Funchal