أرسل هذا في رسالة قصيرة: An interactive approach for trading test time, area, and fault coverage in testable synthesis. (c2006)