أرسل هذا في رسالة قصيرة: Testable data path synthesis with integer linear programming allocation