FPGA-based state encoding using symbolic functional decomposition

Presented is a new method of finite state machine (FSM) implementation targeting LUT-based FPGAs. State encoding is performed simultaneously with decomposition of transition and output functions. This is achieved by applying symbolic functional decomposition. Experimental results show that the presented method significantly reduces the cost of implementations of FSMs for most of the evaluated benchmarks.