Text this: Test set compaction for sequential circuits based on test relaxation