MULTI-TERMINAL BDDS IN MICROPROCESSOR-BASED CONTROL

Václav Dvořák

2010

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.

Paper Citation

in Harvard Style

Dvořák V. (2010). MULTI-TERMINAL BDDS IN MICROPROCESSOR-BASED CONTROL . In Proceedings of the 7th International Conference on Informatics in Control, Automation and Robotics - Volume 3: ICINCO, ISBN 978-989-8425-02-7, pages 140-145. DOI: 10.5220/0002972001400145

in Bibtex Style

@conference{icinco10,
author={Václav Dvořák},
title={MULTI-TERMINAL BDDS IN MICROPROCESSOR-BASED CONTROL},
booktitle={Proceedings of the 7th International Conference on Informatics in Control, Automation and Robotics - Volume 3: ICINCO,},
year={2010},
pages={140-145},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0002972001400145},
isbn={978-989-8425-02-7},
}

in EndNote Style

TY - CONF
JO - Proceedings of the 7th International Conference on Informatics in Control, Automation and Robotics - Volume 3: ICINCO,
TI - MULTI-TERMINAL BDDS IN MICROPROCESSOR-BASED CONTROL
SN - 978-989-8425-02-7
AU - Dvořák V.
PY - 2010
SP - 140
EP - 145
DO - 10.5220/0002972001400145