State assignment and selection of types and polarities of flip-flops, for finite state machine synthesis

The authors study herein, the use of genetic algorithm for synthesis of finite state machine aiming area reduction, by including not only state assignment and sequential element selection, but also selection of output polarities of sequential elements, which has been proved, by experimentation, to give further reduction in area requirement.