BOOM-II

Kód výsledku v IS VaVaI

<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F68407700%3A21240%2F09%3A00159823" target="_blank" >RIV/68407700:21240/09:00159823 - isvavai.cz</a>

Výsledek na webu

—

DOI - Digital Object Identifier

—

Jazyk výsledku

angličtina

Název v původním jazyce

BOOM-II

Popis výsledku v původním jazyce

BOOM-II is a scalable algorithm for a two-level Boolean minimization of logic functions. It is a combination of two different minimization algorithms: BOOM and FC-Min. BOOM is based on a new implicant generation paradigm. In contrast to all previous minimization methods, where the implicants are generated bottom-up, BOOM uses a top-down approach. The method is advantageous especially for functions with many input variables (up to thousands) and with only few care terms defined. FC-Min is a very efficient minimization algorithm for functions with many output variables. In contrast to other approaches, FC-Min firstly finds the coverage of the on-sets and from that it derives the group implicants. No prime implicants of the single functions are being computed; only the necessary implicants needed to cover the on-sets are produced. In BOOM-II, it is primarily used to generate group implicants.

Název v anglickém jazyce

BOOM-II

Popis výsledku anglicky

BOOM-II is a scalable algorithm for a two-level Boolean minimization of logic functions. It is a combination of two different minimization algorithms: BOOM and FC-Min. BOOM is based on a new implicant generation paradigm. In contrast to all previous minimization methods, where the implicants are generated bottom-up, BOOM uses a top-down approach. The method is advantageous especially for functions with many input variables (up to thousands) and with only few care terms defined. FC-Min is a very efficient minimization algorithm for functions with many output variables. In contrast to other approaches, FC-Min firstly finds the coverage of the on-sets and from that it derives the group implicants. No prime implicants of the single functions are being computed; only the necessary implicants needed to cover the on-sets are produced. In BOOM-II, it is primarily used to generate group implicants.

Druh

R - Software

CEP obor

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

OECD FORD obor

—

Projekt

<a href="/cs/project/GA102%2F09%2F1668" target="_blank" >GA102/09/1668: Zvyšování spolehlivosti a provozuschopnosti v obvodech SoC</a><br>

Návaznosti

P - Projekt vyzkumu a vyvoje financovany z verejnych zdroju (s odkazem do CEP)

Rok uplatnění

2009

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ů

Interní identifikační kód produktu

BOOM-II

Technické parametry

cca. 10000 řádek C++ kódu

Ekonomické parametry

—

IČO vlastníka výsledku

68407700

Název vlastníka

ČVUT v Praze