Detail publikace

Multi-Terminal BDDs in Microprocessor-Based Control

Originální název

Multi-Terminal BDDs in Microprocessor-Based Control

Anglický název

Multi-Terminal BDDs in Microprocessor-Based Control

Jazyk

en

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.

BibTex


@inproceedings{BUT35524,
  author="Václav {Dvořák}",
  title="Multi-Terminal BDDs in Microprocessor-Based Control",
  annote="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.",
  address="Institute for Systems and Technologies of Information, Control and Communication",
  booktitle="Proceedings ICINCO 2010",
  chapter="35524",
  edition="NEUVEDEN",
  howpublished="print",
  institution="Institute for Systems and Technologies of Information, Control and Communication",
  year="2010",
  month="june",
  pages="140--145",
  publisher="Institute for Systems and Technologies of Information, Control and Communication",
  type="conference paper"
}