FSM design/reset

Hi Moritz,

If you have this reset then you can use it for any task including applying it to the FSM at power up.

You can also apply it at run time if things go wrong by (forcing the counter back to zero in the above construct and in this case don't need the keep attribute).

As such there is no need to worry about encoding the FSM manually. Your idea makes sense but I am not sure about how compilers treat the registers of FSM(as opposed to other general purpose registers) .