Publication Details

Optimalizace firmware pro vestavěné logcké řízení

DVOŘÁK, V.; MIKUŠEK, P. Optimalizace firmware pro vestavěné logcké řízení. Programmable devices and systems, 2009, roč. 2009, č. 1, s. 109-114. ISSN: 1474-6670.

English title

Firmware Optimzation for Embedded Logic Control

Type

journal article

Language

Czech

Authors

Dvořák Václav, prof. Ing., DrSc.
Mikušek Petr, Ing.

Keywords

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

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.

Published

2009

Pages

109–114

Journal

Programmable devices and systems, vol. 2009, no. 1, ISSN 1474-6670

Book

4th IFAC Workshop Discrete-Event System Design

ISBN

978-3-902661-69-2

BibTeX

@article{BUT48027,
  author="Václav {Dvořák} and Petr {Mikušek}",
  title="Optimalizace firmware pro vestavěné logcké řízení",
  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/"
}