Multi component digital circuit optimization by solving FSM equations

The paper is devoted to the problem of reducing component machines of the synchronous FSM composition. The problem is considered as the problem of FSM equation solving. The complexity of an FSM equation significantly depends on the level of our optimization. We show that sometimes it is more effective to solve not a single equation but a system of equations.