Publication Details
Space-Time Trade-offs in SW Evaluation of Boolean Functions
Multiple-output Boolean functions, fast sw evaluation, PLA emulation, linked tables, LUT cascades
Fast evaluation of multiple-output Boolean functions with the smallest memory footprint is often required in embedded systems. The paper describes a novel method of linked tables for representation and evaluation of Boolean functions and compares it with traditional methods; PLAs from the MCS-51 micro-controller are used for comparison. Traditional methods use masks to emulate PLA one way or another. The suggested method of linked tables is based on iterative disjunctive decomposition and leads only to a series of table look-ups. Linked tables are also shown to be equivalent to specific "in-line" decision diagrams. They proved to be most flexible in making trade-offs between performance and memory space. The method of linked tables may be quite useful for embedded microprocessor or microcontroller software as well as for digital system simulation.
@inproceedings{BUT28597,
author="Václav {Dvořák}",
title="Space-Time Trade-offs in SW Evaluation of Boolean Functions",
booktitle="Proceedings of The Second International Conference on Systems",
year="2007",
pages="344--349",
publisher="IEEE Computer Society",
address="New York",
isbn="0-7695-2807-4",
url="https://www.fit.vut.cz/research/publication/8329/"
}