Present a new algorithm for state assignment in asynchronous circuits so that for each circuit state transition, only one (secondary) state variable switches. No intermediate unstable states are used.

State assignment is one of the essential aspects of logic synthesis and optimization of sequential circuits’ area and power. To find the exact state encoding which gives minimum power for a particular ...