Detail publikace
Embedded Firmware Development with Multi-Way Branching
Embedded firmware, decision diagrams, iterative disjunctive decomposition, multi-valued functions, space complexity
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ů.
@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/"
}