SAT-Compress

Kód výsledku v IS VaVaI

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

Výsledek na webu

<a href="http://ddd.fit.cvut.cz/prj/SATCompress/" target="_blank" >http://ddd.fit.cvut.cz/prj/SATCompress/</a>

DOI - Digital Object Identifier

—

Jazyk výsledku

angličtina

Název v původním jazyce

SAT-Compress

Popis výsledku v původním jazyce

The SAT-Compress tool for test patterns compression is based a dedicated SAT-based ATPG (Automatic Test Pattern Generator). The compression is achived by test patterns overlapping during the test generation, unlike other methods, which are based on efficient overlapping of pre-generated test patterns. The SAT-Compress tool takes advantage of an implicit test representation as SAT problem instances. Furthermore, it implements our advanced algorithms such as static and dynamic filtering of UNSAT (unsatisfiable) CNF instances, presimulation and reduction of care bits in test patterns. This features make the SAT-Compress to be competitive with state-of-the-art tools.

Název v anglickém jazyce

SAT-Compress

Popis výsledku anglicky

The SAT-Compress tool for test patterns compression is based a dedicated SAT-based ATPG (Automatic Test Pattern Generator). The compression is achived by test patterns overlapping during the test generation, unlike other methods, which are based on efficient overlapping of pre-generated test patterns. The SAT-Compress tool takes advantage of an implicit test representation as SAT problem instances. Furthermore, it implements our advanced algorithms such as static and dynamic filtering of UNSAT (unsatisfiable) CNF instances, presimulation and reduction of care bits in test patterns. This features make the SAT-Compress to be competitive with state-of-the-art tools.

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)<br>S - Specificky vyzkum na vysokych skolach

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

satcompress1.1

Technické parametry

Kontaktní osoba: balcaji2@fit.cvut.cz

Ekonomické parametry

cca. 10000 Kč

IČO vlastníka výsledku

68407700

Název vlastníka

ČVUT FIT