Attributes | Values |
---|
rdf:type
| |
rdfs:seeAlso
| |
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.
- 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. (en)
|
Title
| - SAT-Compress
- SAT-Compress (en)
|
skos:prefLabel
| - SAT-Compress
- SAT-Compress (en)
|
skos:notation
| - RIV/68407700:21240/12:00192068!RIV13-MSM-21240___
|
http://linked.open...avai/predkladatel
| |
http://linked.open...avai/riv/aktivita
| |
http://linked.open...avai/riv/aktivity
| - P(GA102/09/1668), S, Z(MSM6840770014)
|
http://linked.open...vai/riv/dodaniDat
| |
http://linked.open...aciTvurceVysledku
| |
http://linked.open.../riv/druhVysledku
| |
http://linked.open...iv/duvernostUdaju
| |
http://linked.open...onomickeParametry
| |
http://linked.open...titaPredkladatele
| |
http://linked.open...dnocenehoVysledku
| |
http://linked.open...ai/riv/idVysledku
| - RIV/68407700:21240/12:00192068
|
http://linked.open...terniIdentifikace
| |
http://linked.open...riv/jazykVysledku
| |
http://linked.open.../riv/klicovaSlova
| - test patterns compression; testing; ATPG; SAT (en)
|
http://linked.open.../riv/klicoveSlovo
| |
http://linked.open...ontrolniKodProRIV
| |
http://linked.open.../licencniPoplatek
| |
http://linked.open...in/vavai/riv/obor
| |
http://linked.open...ichTvurcuVysledku
| |
http://linked.open...cetTvurcuVysledku
| |
http://linked.open...vavai/riv/projekt
| |
http://linked.open...UplatneniVysledku
| |
http://linked.open...echnickeParametry
| - Kontaktní osoba: balcaji2@fit.cvut.cz
|
http://linked.open...iv/tvurceVysledku
| - Balcárek, Jiří
- Fišer, Petr
- Schmidt, Jan
|
http://linked.open...avai/riv/vlastnik
| |
http://linked.open...itiJinymSubjektem
| |
http://linked.open...n/vavai/riv/zamer
| |
http://localhost/t...ganizacniJednotka
| |