Description
SAT-Compress is test patterns compression algorithm based on overlapping of the test patterns. This simple algorithm benefit implicit representation in the CNF. More details can be found in:
- Balcárek, J., Fišer, P., Schmidt, J.: Test Patterns Compression Technique Based on a Dedicated SAT-based ATPG, Proc. 13th Euromicro Conference on Digital Systems Design (DSD'10), Lille (France), 1.-3.9.2010, pp. 805-808
pdf(poster) / pdf(extended version - NA)
- Balcárek, J., Fišer, P., Schmidt, J.: Techniques for SAT-Based Constrained Test Patterns Generation, Proc. 14th Euromicro Conference on Digital Systéme Design (DSD'11), Oulu (Finland), 31.8.-2.9.2011, p. 8.
pdf.
SAT-Compress algorithm properties
- Netlist formats supported: BENCH
- Compress test patterns by overlapping (compressed stream as output v1.0 only)
- Standard SAT-ATPG mode
- Static and dynamic filter included
- CNF presimulation included
- CNF storing or generation on-the-fly
- Print statistics (or log in .csv)
SAT-Compress references