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í
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: 
+Type Name Title Size Last modified
iconFunchal.pdf96,6 KB2010-09-06 11:09:03
^ Select all
With selected:
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{\'{a}}clav Dvo{\v{r}}{\'{a}}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}
}

Your IPv4 address: 54.224.233.92
Switch to IPv6 connection

DNSSEC [dnssec]