Prof. Ing. Václav Dvořák, DrSc.
| Dvořák, V.: Embedded Firmware Development with Multi-Way Branching, In: Proc. of the 3rd Int. Coference on Systems, New York, US, IEEE CS, 2008, s. 317-322, ISBN 978-0-7695-3105-2 | | Jazyk publikace: | angličtina |
|---|
| Název publikace: | Embedded Firmware Development with Multi-Way Branching |
|---|
| Název (cs): | Vývoj vestavěného firmware s vícemístným větvením |
|---|
| Strany: | 317-322 |
|---|
| Sborník: | Proc. of the 3rd Int. Coference on Systems |
|---|
| Konference: | International Conference on Systems |
|---|
| Místo vydání: | New York, US |
|---|
| Rok: | 2008 |
|---|
| ISBN: | 978-0-7695-3105-2 |
|---|
| Vydavatel: | IEEE Computer Society |
|---|
| Soubory: | |
|---|
|
| | Klíčová slova |
|---|
| Embedded firmware, decision diagrams, iterative disjunctive decomposition, multi-valued functions, space complexity |
| Anotace |
|---|
| V článku je navržena technika pro vývoj firmware založená na vícehodnotových rozhodovacích diagramech (MDD). Vyhodnocování vícevýstupových boolovských funkcí je rychlejší než při použití binárních rozhodovacích diagramů (BDD) a vykazuje malou paměťovou stopu často požadovanou ve vestavěných systémech. Předpokládá se, že mikroprogramový řadič, jehož implementace je známa, na kterém běží firmware, podporuje vícenásobné větvení v hardware. Je předložena nová heuristická technika syntézy suboptimálních diagramů MDD a je odvozena specifická podmínka pro prostorovou efektivnost firmware založeném na MDD. Metoda je ilustrována na praktických příkladech. Může být velmi užitečná pro vývoj firmware vestavěných mikrořadičů i pro rychlou simulaci číslicových systémů. |
| BibTeX: |
|---|
@INPROCEEDINGS{
author = {Václav Dvořák},
title = {Embedded Firmware Development with Multi-Way Branching},
pages = {317--322},
booktitle = {Proc. of the 3rd Int. Coference on Systems},
year = {2008},
location = {New York, US},
publisher = {IEEE Computer Society},
ISBN = {978-0-7695-3105-2},
language = {english},
url = {http://www.fit.vutbr.cz/research/view_pub.php?id=8586}
} |
|