Space-Time Trade-offs in SW Evaluation of Boolean Functions

Result code in IS VaVaI

<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F00216305%3A26230%2F07%3APU70796" target="_blank" >RIV/00216305:26230/07:PU70796 - isvavai.cz</a>

Result on the web

—

DOI - Digital Object Identifier

—

Result language

angličtina

Original language name

Space-Time Trade-offs in SW Evaluation of Boolean Functions

Original language description

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 withtraditional 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 toa series of table look-ups. Linked tables are also shown to be equivalent to specific &quot;in-line&quot; 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&nbsp;&nbsp; for digital system simulation.

Czech name

Časo-prostorové kompromisy při softwarové evaluaci boolovských funkcí

Czech description

Rychlá evaluace boolovských funkcí s více výstupy s minimální spotřebou paměti je často žádána ve vestavěných systémech. Článek popisuje novou metodu vázaných tabulek pro reprezentaci a evaluaci boolovských funkcí a srovnává ji s tradičními metodami; prosrovnání jsou použita pole PLA z mikrořadiče MCS-51. Tradiční metody používají k emulaci PLA&nbsp;různými způsoby masky. Navržená metoda vázaných tabulek je&nbsp;založena na iterativním disjunktivním rozkladu a vede na serii vyhledání v tabulkách. Je ukázáno, že vázané&nbsp;tabulky jsou ekvivalentní specifikým lineárním rozhodovacím diagramům. Ukázaly se jako nejpružnější při volbě mezi výkonností a spotřebou paměti. Metoda vázaných tabulek může být velmi užitečná pro software vestavěných mikroprocesorů nebo mikrořadičů stejně jako pro simulaci číslicových systémů.&nbsp;

Type

D - Article in proceedings

CEP classification

JC - Computer hardware and software

OECD FORD branch

—

Project

Result was created during the realization of more than one project. More information in the Projects tab.

Continuities

P - Projekt vyzkumu a vyvoje financovany z verejnych zdroju (s odkazem do CEP)<br>Z - Vyzkumny zamer (s odkazem do CEZ)

Publication year

2007

Confidentiality

S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů

Article name in the collection

Proceedings of The Second International Conference on Systems

ISBN

0-7695-2807-4

ISSN

—

e-ISSN

—

Number of pages

6

Pages from-to

344-349

Publisher name

IEEE Computer Society

Place of publication

New York

Event location

Morne

Event date

Apr 23, 2006

Type of event by nationality

WRD - Celosvětová akce

UT code for WoS article

—