Evolvable Hardware or Learning Hardware? Induction of State Machines from Temporal Logic Constraints