In [2], support-based encoding method was offered. It bases on a seed encoding [11] and step-to-step merging state variables to minimize sequential logic summary support.
The main draw back of the encoding procedure is (re-) computing summary support after merging each pair of state variables. It increases CPU time significantly.
In this paper, simplified procedure of support computation (more fast but less accurate) is developed.
Modified state encoding method is offered where procedure [2] of support computation and simplified one are combined as follows: procedure [2] is called after merging given number of state variable pairs or after reducing encoding length twice; in the intermediate steps, simplified procedure is called.
Our approach reduces CPU time and increases dimention of FSMs that can be processed by the encoding procedure.
The method was tested and the result compared with ones obtained by encoding procedures JEDI, NOVA, LAX [1, 6, 10].