BOOM - a Boolean Minimizer

Kód výsledku v IS VaVaI

<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F68407700%3A21230%2F01%3A00070177" target="_blank" >RIV/68407700:21230/01:00070177 - isvavai.cz</a>

Výsledek na webu

—

DOI - Digital Object Identifier

—

Jazyk výsledku

angličtina

Název v původním jazyce

BOOM - a Boolean Minimizer

Popis výsledku v původním jazyce

This report presents an algorithm for two-level Boolean minimization (BOOM) based on a new implicant generation paradigm. In contrast to all previous minimization methods, where the implicants are generated bottom-up, the proposed approach uses a top-down approach. Thus instead of increasing the dimensionality of implicants by omitting literals from their terms, the dimension of a term is gradually decreased by adding new literals. In the proposed method, the original coverage influences the final solution only indirectly, through the number of literals used. Starting from an n-dimensional hypercube (where n is the number of input variables), new terms are generated, whereas only the on-set and off-set are consulted. Thus the original choice of the implicant terms is of a small importance.

Název v anglickém jazyce

BOOM - a Boolean Minimizer

Popis výsledku anglicky

This report presents an algorithm for two-level Boolean minimization (BOOM) based on a new implicant generation paradigm. In contrast to all previous minimization methods, where the implicants are generated bottom-up, the proposed approach uses a top-down approach. Thus instead of increasing the dimensionality of implicants by omitting literals from their terms, the dimension of a term is gradually decreased by adding new literals. In the proposed method, the original coverage influences the final solution only indirectly, through the number of literals used. Starting from an n-dimensional hypercube (where n is the number of input variables), new terms are generated, whereas only the on-set and off-set are consulted. Thus the original choice of the implicant terms is of a small importance.

Druh

O - Ostatní výsledky

CEP obor

JC - Počítačový hardware a software

OECD FORD obor

—

Projekt

<a href="/cs/project/GA102%2F99%2F1017" target="_blank" >GA102/99/1017: Výzkum metod urychlování výpočtů rekonfigurovatelným technickým vybavením</a><br>

Návaznosti

Z - Vyzkumny zamer (s odkazem do CEZ)

Rok uplatnění

2001

Kód důvěrnosti údajů

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