Conference paper

DVOŘÁK Václav. Multi-Terminal BDDs in Microprocessor-Based Control. In: Proceedings ICINCO 2010. Funchal, Madeira: Institute for Systems and Technologies of Information, Control and Communication, 2010, pp. 140-145. ISBN 978-989-8425-02-7.
Publication language:english
Original title:Multi-Terminal BDDs in Microprocessor-Based Control
Title (cs):Multi-terminální rozhodovací diagramy v mikroprocesorovém řízení
Proceedings:Proceedings ICINCO 2010
Conference:7th International Conference on Informatics in Control, Automation and Robotics
Place:Funchal, Madeira, PT
Publisher:Institute for Systems and Technologies of Information, Control and Communication
Microprocessor-based control, Multi-Terminal Binary Decision Diagrams, MTBDD, optimal variable ordering, arbiters  
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.
   author = {V{\'{a}}clav Dvo{\v{r}}{\'{a}}k},
   title = {Multi-Terminal BDDs in Microprocessor-Based
   pages = {140--145},
   booktitle = {Proceedings ICINCO 2010},
   year = 2010,
   location = {Funchal, Madeira, PT},
   publisher = {Institute for Systems and Technologies of Information,
	Control and Communication},
   ISBN = {978-989-8425-02-7},
   language = {english},
   url = {}

Your IPv4 address:
Switch to https