Text this: Efficient static compaction techniques for sequential circuits based on reverse-order restoration and test relaxation