Publication detail

Firmware Optimization for Embedded Logic Control

DVOŘÁK, V. MIKUŠEK, P.

Original Title

Firmware Optimization for Embedded Logic Control

English Title

Firmware Optimzation for Embedded Logic Control

Type

journal article - other

Language

Czech

Original Abstract

Článek uvádí novou metodu reprezentace podtřídy neúplně specifikovaných funkcí s více výstupy pomocí multi-terminálních binárních rozhodovacích diagramů (MTBDDs). Je prezentován algoritmus pro redukci ceny a šířky MTBDD.  Softwarový nástroj CAD používá k získání datové struktury MTBDD iterativní dekompozici a získaná struktura může být přímo mapovaná do firmware ve formě řetězených tabulek skoků. Na praktickém příkladu je ukázáno, že existuje prostoro-časový kompromis mezi objemem paměti pro všechny tabulky  skoků v řídicí paměti a rychlostí běhu firmware.  Předpokládá se podpora vícecestného větvení v mikrořadiči. 

English abstract

This paper presents a new method to represent a subclass of multiple-output incompletely specified functions by means of multi-terminal binary decision diagrams (MTBDDs). Algorithm to reduce the cost and width of MTBDDs is presented. A software CAD tool makes use of iterative decomposition to obtain a MTBDD data structure that can be directly mapped to firmware in a form of chained dispatch tables. On a practical example it is shown that there is a space-time trade-off between the amount of memory required for all dispatch tables in a control store and the speed of firmware execution. Support for multi-way branching in a micro-sequencer is assumed.

Key words in English

Incompletely specified functions, multi-terminal BDDs, iterative disjunctive decomposition, firmware design, multi-way branching

Authors

DVOŘÁK, V.; MIKUŠEK, P.

RIV year

2009

Released

11. 10. 2009

ISBN

978-3-902661-69-2

Book

4th IFAC Workshop Discrete-Event System Design

ISBN

1474-6670

Periodical

Programmable devices and systems

Year of study

2009

Number

1

State

United Kingdom of Great Britain and Northern Ireland

Pages from

109

Pages to

114

Pages count

6

URL

https://www.fit.vut.cz/research/publication/9074/

BibTex

@article{BUT48027,
  author="Václav {Dvořák} and Petr {Mikušek}",
  title="Firmware Optimization for Embedded Logic Control",
  journal="Programmable devices and systems",
  year="2009",
  volume="2009",
  number="1",
  pages="109--114",
  issn="1474-6670",
  url="https://www.fit.vut.cz/research/publication/9074/"
}

Documents

ifac-dvorak.doc