Abstract
We present in this thesis a new approach to the synthesis problem for Finite State Machines with reduction of power dissipation as a design objective. A Finite State Machine is decomposed into a number of coupled submachines. Most of the time, only one of the submachines will be activated which, consequently, could lead to substantial savings in power consumption. The two key steps in this approach are: (1) decomposition of a Finite State Machine into submachines so that there is a high probability that state transitions will be confined to the smaller of the submachines most of the time, and (2) synthesis of the coupled submachines to optimize the logic circuits. In this thesis, we will focus on how to decompose a Finite State Machine into submachines. Intensive experiments are conducted. The results confirmed that our approach produced very good results (in particular, for Finite State Machines with a large number of states.)