Conference paper

 
Dvořák, V.: Multi-Terminal BDDs in Microprocessor-Based Control, In: Proceedings ICINCO 2010, Funchal, Madeira, PT, INSTICC, 2010, p. 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í
Pages:140-145
Proceedings:Proceedings ICINCO 2010
Conference:7th International Conference on Informatics in Control, Automation and Robotics
Place:Funchal, Madeira, PT
Year:2010
ISBN:978-989-8425-02-7
Publisher:Institute for Systems and Technologies of Information, Control and Communication
Files: 
Soubor /pub/9240/Funchal.pdf nemáte právo číst:
doc_folder_pub1: /pub/9240/Funchal.pdf no access 3
Keywords
Microprocessor-based control, Multi-Terminal Binary Decision Diagrams, MTBDD, optimal variable ordering, arbiters  
Annotation
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{
   author = {Václav Dvořák},
   title = {Multi-Terminal BDDs in Microprocessor-Based Control},
   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 = {http://www.fit.vutbr.cz/research/view_pub.php?id=9240}
}