أرسل هذا في رسالة قصيرة: FSM state-assignment for area, power and testability using non-deterministic evolutionary heuristics