© LRS - UNI Erlangen-Nuremberg

1.4 FSM and Synthesis