Spanning Tree Based State Encoding for Low Power Dissipation (1999) [7 citations — 0 self]
Abstract:
In this paper we address the problem of state encoding for synchronous finite state machines. The primary goal is the reduction of switching activity in the state register. At the beginning the state transition graph is transformed into an undirected graph where the edges are labeled with the state transition probabilities. Next a maximumspanning tree of the undirected graph is constructed, and we formulate the state encoding problem as an embedding of the spanning tree into a Boolean hypercube of unknown dimension. At this point a modification of Prim's maximum spanning tree algorithm is presented to limit the dimension of the hypercube for area constraints. Then we propose a polynomial time embedding heuristic, which removes the restriction of previous works, where the number of state bits used for encoding of a k-state FSM was generally limited to dlog 2 ke. Next a more sophisticated embedding algorithm is presented, which takes into account the state transition probabilities not covered by the spanning tree. The resulting encodings of both algorithms in many cases exhibit a considerable lower switching activity in comparison with a known heuristic for low power state encoding. Despite a usually larger state register this also leads to significant reduced power dissipation for many MCNC FSM examples, as synthesized and evaluated by SIS.
