About: SAT-Compress     Goto   Sponge   NotDistinct   Permalink

An Entity of Type : http://linked.opendata.cz/ontology/domain/vavai/Vysledek, within Data Space : linked.opendata.cz associated with source document(s)

AttributesValues
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
  • cca. 10000 Kč
http://linked.open...titaPredkladatele
http://linked.open...dnocenehoVysledku
  • 166741
http://linked.open...ai/riv/idVysledku
  • RIV/68407700:21240/12:00192068
http://linked.open...terniIdentifikace
  • satcompress1.1
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
  • [4E37983B18ED]
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
  • 21240
Faceted Search & Find service v1.16.118 as of Jun 21 2024


Alternative Linked Data Documents: ODE     Content Formats:   [cxml] [csv]     RDF   [text] [turtle] [ld+json] [rdf+json] [rdf+xml]     ODATA   [atom+xml] [odata+json]     Microdata   [microdata+json] [html]    About   
This material is Open Knowledge   W3C Semantic Web Technology [RDF Data] Valid XHTML + RDFa
OpenLink Virtuoso version 07.20.3240 as of Jun 21 2024, on Linux (x86_64-pc-linux-gnu), Single-Server Edition (126 GB total memory, 58 GB memory in use)
Data on this page belongs to its respective rights holders.
Virtuoso Faceted Browser Copyright © 2009-2024 OpenLink Software