Detail publikace

Embedded Firmware Development with Multi-Way Branching

DVOŘÁK, V.

Originální název

Embedded Firmware Development with Multi-Way Branching

Typ

článek ve sborníku mimo WoS a Scopus

Jazyk

angličtina

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.

Klíčová slova

Embedded firmware, decision diagrams,   iterative disjunctive decomposition, multi-valued functions, space complexity

Autoři

DVOŘÁK, V.

Rok RIV

2008

Vydáno

18. 4. 2008

Nakladatel

IEEE Computer Society

Místo

New York

ISBN

978-0-7695-3105-2

Kniha

Proc. of the 3rd Int. Coference on Systems

Strany od

317

Strany do

322

Strany počet

6

URL

BibTex

@inproceedings{BUT30478,
  author="Václav {Dvořák}",
  title="Embedded Firmware Development with Multi-Way Branching",
  booktitle="Proc. of the 3rd Int. Coference on Systems",
  year="2008",
  pages="317--322",
  publisher="IEEE Computer Society",
  address="New York",
  isbn="978-0-7695-3105-2",
  url="https://www.fit.vut.cz/research/publication/8586/"
}