FSM-based Sequential Circuits Optimization by Changing Initial State of Specification

Finite State Machines (FSMs) are widely used for analysis and synthesis of hardware designs. In particular FSM can be used to specify and optimize sequential circuits. The number of gates of a circuit influences different aspects of the circuit (operation speed, latency, energy consumption, size, etc.), therefore the circuit’s gates number minimization is an actual problem. In this paper we suggest an approach of sequential circuit optimization by selecting an initial state of a specification FSM which allows to get a circuit with a defined optimization requirement. We experimented in order to estimate the benefit of our optimization approach and the length of rebuild/modified test suites.