Detail publikace

Embedded Firmware Development with Multi-Way Branching

Originální název

Embedded Firmware Development with Multi-Way Branching

Anglický název

Embedded Firmware Development with Multi-Way Branching

Jazyk

en

Originální abstrakt

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.

Anglický abstrakt

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{BUT30478,
  author="Václav {Dvořák}",
  title="Embedded Firmware Development with Multi-Way Branching",
  annote="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.",
  address="IEEE Computer Society",
  booktitle="Proc. of the 3rd Int. Coference on Systems",
  chapter="30478",
  edition="NEUVEDEN",
  howpublished="print",
  institution="IEEE Computer Society",
  year="2008",
  month="april",
  pages="317--322",
  publisher="IEEE Computer Society",
  type="conference paper"
}