Decomposition and encoding of finite state machines for FPGA implementation door A.S. Slusarczyk