Third International Conference on Systems (icons 2008) Embedded Firmware Development with Multi-way Branching April 13-April 18 ISBN: 978-0-7695-3105-2
DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/ICONS.2008.25
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.
Index Terms:
Embedded firmware, decision diagrams, iterative disjunctive decomposition, multi-valued functions, space complexity
Citation:
V?clav Dvor?, "Embedded Firmware Development with Multi-way Branching," icons, pp.317-322, Third International Conference on Systems (icons 2008), 2008 Usage of this product signifies your acceptance of the Terms of Use. | |||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||