Detail publikace
Embedded Firmware Development with Multi-Way Branching
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{FITPUB8586, author = "V\'{a}clav Dvo\v{r}\'{a}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 = "https://www.fit.vut.cz/research/publication/8586" }