Přístupnostní navigace
E-application
Search Search Close
Publication detail
DVOŘÁK, V. MIKUŠEK, P.
Original Title
Optimalizace firmware pro vestavěné logcké řízení
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
1474-6670
Periodical
Programmable devices and systems
Year of study
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="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/" }
Documents
ifac-dvorak.doc