Publication Details
Optimalizace firmware pro vestavěné logcké řízení
Mikušek Petr, Ing.
Incompletely specified functions, multi-terminal BDDs, iterative disjunctive decomposition, firmware design, multi-way branching
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.
@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/"
}