أرسل هذا في رسالة قصيرة: Efficient static test compaction algorithms for combinational circuits based on test relaxation