Detail publikace
Time- and Space-Efficient Evaluation of Sparse Boolean Functions in Embedded Software
Multiple-output Boolean functions, software implementation, linked tables, LUT cascades, heuristic BDD minimization
Článek se zabývá softwarovou implementací velkých řídkých systémů boolovských funkcí. Rychlá evaluace takových funkcí s nejmenším objemem paměti je ve vestavěných systémech často vyžadována. Je popsána nová heuristická metoda získání kompaktní reprezentace řídkých boolovských funkcí ve formě vázaných tabulek, která se dá použít i na minimalizaci BDD. Evaluace boolovských funkcí se redukuje na několik nepřímých přístupů do paměti. Metoda je porovnána s dalšími technikami, jako průchodem přes BDD nebo hledáním v seznamu, a je ilustrována na příkladech. Předložená metoda je pružná při hledání kompromisů mezi výkonností a spotřebou paměti a může být užitečná pro vestavěný software mikroprocesorů a mikrořadičů.
@inproceedings{BUT28595,
author="Václav {Dvořák}",
title="Time- and Space-Efficient Evaluation of Sparse Boolean Functions in Embedded Software",
booktitle="Proceedings of 14th Annual IEEE International Conference and Workshops on the Engineering of Computer-Based Systems",
year="2007",
pages="178--185",
publisher="IEEE Computer Society",
address="Los Alamitos",
isbn="0-7695-2772-8"
}