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.

References

  1. Bryant, R. E., 1991. On the complexity of VLSI implementations and graph representations of Boolean functions with applications to integer multiplication. In: IEEE Transactions on Computers, Vol. 40, pp. 205-213, 1991.
  2. Brzozowski, J. A., Luba, T., 1997. Decomposition of Boolean Functions Specified by Cubes. Research report CS-97-01, University of Waterloo, Canada, p. 36.
  3. Dvorák, V., 1997. Efficient Evaluation of MultipleOutput Boolean Functions in Embedded Software or Firmware, In: Journal of Software, Vol. 2, No. 5, 2007, pp. 52-63.
  4. Gilvarry, I., 2009. IA-32 Features and Flexibility for Next-Generation Industrial Control. Intel Technology, Journal, Vol. 13, Issue 01, March 2009.
  5. Matsuura, M., Sasao, T., 2007. BDD representation for incompletely specified multiple-output logic functions and its application to the design of LUT cascades, In: IEICE Transaction on Fundamentals of Electronics, Communications and Computer Sciences, Vol. E90-A, No. 12, Dec. 2007, pp. 2770-2777.
  6. Petruzella, F.D., 2004. Programmable Logic Controllers, McGraw Hill Science/Engineering/Math, Sosic, R., Gu, J. and Johnson, R., 1996. The Unison algorithm: Fast evaluation of Boolean expressions. ACM Transactions on Design Automation of Electronic Systems, 1(4): pp. 456-477, Oct. 1996.
  7. Yanushkevich, S. N., Miller, D. M., Shmerko, V.P., Stankovic, R. S., 2006. Decision Diagram Techniques for Micro- and Nanoelectric Design Handbook. CRC Press, Taylor & Francis Group, Boca Raton, FL.
Download


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