Conference paper

DVOŘÁK Václav. Embedded Firmware Development with Multi-Way Branching. In: Proc. of the 3rd Int. Coference on Systems. New York: IEEE Computer Society, 2008, pp. 317-322. ISBN 978-0-7695-3105-2.
Publication language:english
Original title:Embedded Firmware Development with Multi-Way Branching
Title (cs):Vývoj vestavěného firmware s vícemístným větvením
Pages:317-322
Proceedings:Proc. of the 3rd Int. Coference on Systems
Conference:International Conference on Systems
Place:New York, US
Year:2008
ISBN:978-0-7695-3105-2
Publisher:IEEE Computer Society
Files: 
+Type Name Title Size Last modified
icon9-1254814637.pdf86,4 KB2008-03-18 10:10:15
^ Select all
With selected:
Keywords
Embedded firmware, decision diagrams,   iterative disjunctive decomposition, multi-valued functions, space complexity
Annotation
This paper proposes a technique of firmware development based on Multi-valued Decision Diagrams (MDDs). Evaluation of multiple-output Boolean functions is faster than the one using Binary Decision Diagrams (BDDs) and has a small memory footprint often required in embedded systems. A micro-programmed controller that firmware runs on is supposed to support multi-way branching in hardware, whose implementation is known. A novel heuristic technique of a sub-optimal multivalued MDD synthesis is presented and a specific condition for spatial efficiency of MDD-based firmware is derived. The method is illustrated on practical examples. It may be quite useful for development of embedded microcontroller firmware as well as for fast digital system simulation.
BibTeX:
@INPROCEEDINGS{
   author = {V{\'{a}}clav Dvo{\v{r}}{\'{a}}k},
   title = {Embedded Firmware Development with Multi-Way Branching},
   pages = {317--322},
   booktitle = {Proc. of the 3rd Int. Coference on Systems},
   year = {2008},
   location = {New York, US},
   publisher = {IEEE Computer Society},
   ISBN = {978-0-7695-3105-2},
   language = {english},
   url = {http://www.fit.vutbr.cz/research/view_pub.php.en.iso-8859-2?id=8586}
}

Your IPv4 address: 54.80.137.168
Switch to IPv6 connection

DNSSEC [dnssec]