In this paper, we address the problem of the state assignment for synchronous finite state machines (FSM), targeted towards multilevel combinational logic and feedback register implementations. Optimal state assignment aims at a minimum area implementation. All previous work in automatic FSM state assignment has been directed at programmable logic array (PLA) i.e., two-level logic implementatio...