A symbolic algorithm for low-power sequential synthesis

We present an algorithm that restructures the state transition graph STG of a sequential circuit so as to reduce power dissipation. The STG is modi ed without changing the behavior of the circuit, by exploiting state equivalence. Rather than aiming primarily at reducing the number of states, our algorithm redirects transitions so that the new destination states are equivalent to the original ones, while the average activity of the circuit is decreased. The impact on area is also estimated to increase the accuracy of the power analysis. The STG and all other major data structures are stored as decision diagrams, and the algorithm does not enumerate explicitly the states or the transitions. i.e., it is symbolic. Therefore, it can deal with circuits that have millions of states. Once the STG has been restructured we apply symbolic factoring algorithms, based on Zero-suppressed BDDs, to convert the optimized graph into a multilevel circuit. We derive an e cient circuit from the BDDs o...

• Type: Conference
• Year: 1997
• Where: ISLPED
• Authors: Balakrishna Kumthekar, In-Ho Moon, Fabio Somenzi
• Keywords: Algorithm Redirects Transitions, Hardware, ISLPED 1997, Symbolic Factoring Algorithms, Transition Graph STG