SAT-Compress

Result code in 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>

Result on the web

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

DOI - Digital Object Identifier

—

Result language

angličtina

Original language name

SAT-Compress

Original language description

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.

Czech name

—

Czech description

—

Type

R - Software

CEP classification

JC - Computer hardware and software

OECD FORD branch

—

Project

<a href="/en/project/GA102%2F09%2F1668" target="_blank" >GA102/09/1668: SoC circuits reliability and availability improvement</a><br>

Continuities

Z - Vyzkumny zamer (s odkazem do CEZ)<br>S - Specificky vyzkum na vysokych skolach

Publication year

2012

Confidentiality

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

Internal product ID

satcompress1.1

Technical parameters

Kontaktní osoba: balcaji2@fit.cvut.cz

Economical parameters

cca. 10000 Kč

Owner IČO

68407700

Owner name

ČVUT FIT