TT-Min

Kód výsledku v IS VaVaI

<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F68407700%3A21240%2F12%3A00191579" target="_blank" >RIV/68407700:21240/12:00191579 - isvavai.cz</a>

Výsledek na webu

<a href="http://service.felk.cvut.cz/vlsi/prj/TT-Min/" target="_blank" >http://service.felk.cvut.cz/vlsi/prj/TT-Min/</a>

DOI - Digital Object Identifier

—

Jazyk výsledku

angličtina

Název v původním jazyce

TT-Min

Popis výsledku v původním jazyce

TT-Min is a heuristic minimizer for a two-level Boolean minimization of logic functions that uses Ternary trees as an internal representation instead of the classic truth table approach. It exploits techniques similar to those used in the Espresso-II minizer, while taking advantage of the Ternary tree structure to perform various operations more efficiently. TT-Min yields a prime, partially irredundant cover and is suitable particularly for logic functions with many terms and many input variables, whereother minimizers require prohibitively long time to produce a result or fail to produce results entirely. The minimizer supports both completely and incompletely specified multiple-output functions.

Název v anglickém jazyce

TT-Min

Popis výsledku anglicky

TT-Min is a heuristic minimizer for a two-level Boolean minimization of logic functions that uses Ternary trees as an internal representation instead of the classic truth table approach. It exploits techniques similar to those used in the Espresso-II minizer, while taking advantage of the Ternary tree structure to perform various operations more efficiently. TT-Min yields a prime, partially irredundant cover and is suitable particularly for logic functions with many terms and many input variables, whereother minimizers require prohibitively long time to produce a result or fail to produce results entirely. The minimizer supports both completely and incompletely specified multiple-output functions.

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

Z - Vyzkumny zamer (s odkazem do CEZ)

Rok uplatnění

2012

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

TT-Min

Technické parametry

freeware, cca. 15000 řádek C++ kódu. Kontaktní osoba: David Toman (tomandav@fit.cvut.cz)

Ekonomické parametry

cca. 10000 Kč

IČO vlastníka výsledku

68407700

Název vlastníka

České vysoké učení technické v Praze