Statistical Analysis / Data Compression / VLSI / Data Engineering / Hardware / Decoding / Test Data / Chip / Boolean Satisfiability / Digital System Testing / Channel Capacity / Test Data Compression / Decoding / Test Data / Chip / Boolean Satisfiability / Digital System Testing / Channel Capacity / Test Data Compression