STOIC - STATE ASSIGNMENT BASED ON OUTPUT INPUT FUNCTIONS

A finite-state machine (FSM) synthesis procedure, specifically aimed a t using primary inputs and primary output functions as state variables , is proposed. The number of next-state functions that have to be impl emented is thus reduced, potentially reducing the area of the synthesi zed circuit. Also, as more of the state variables are directly observa ble (the primary outputs used as state variables) and directly control lable (the primary inputs used as state variables), the testability of the implementation is increased. Experimental results are given to de monstrate the effectiveness of the procedure proposed in reducing area .