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