أرسل هذا في رسالة قصيرة: Efficient static compaction techniques for sequential circuits based on reverse-order restoration and test relaxation