Text this: Efficient static test compaction algorithms for combinational circuits based on test relaxation