Synthesis of sequential circuits on programmable logic devices based on new models of finite state machines

In this paper, new models, called class A, class B, class C, and class D, of a finite state machine (FSM) are proposed. This permits to effectively use both properties of FSM and architectural opportunities of PLD. The synthesis methods for each class of FSM are also presented. Experimental results on benchmarks showed that the choice of the synthesis method for suitable FSM class has the highest influence on the cost of realisation of FSM on PLD. The cost of realisation on PLD of the same examples for various FSM classes can be different more than 8 times.