Download

Version History

SAT-Compress algorithm v. 1.1

• Read bench netlist only
• Standatd SAT-ATPG included
• Static and dynamic UNSAT filter
• CNF storing and on-the-fly processing (with/without reduction)
• CNF export
• Fault list export
• Help included

SAT-Compress algorithm v. 1.0

• Read bench netlist only
• CNF presimulation
• Fault list sort heuristics included
• Care bit reductuion
• Write compressed test bitstream into chosen file
• Help included