Issue No.06 - June (1969 vol.18)
A.D. Friedman , IEEE
In this paper we consider the problem of deriving upper bounds on the number of state variables required for an n-state universal asynchronous state assignment (i.e., a state assignment which is valid for any n-state asynchronous sequential function). We will consider a special class of state assignments called SST assignments which were first derived by Liu  and later extended by Tracey . In these assignments all variables which must change in a given transition are allowed to change simultaneously without critical races. The best universal bound known so far has been developed by Liu and requires 2so-1 state variables, where S0 = [log2n], n being the number of states, and [x] being the least integer > x. We shall show how this bound can be substantially improved. We further show that, by generalizing the state assignment to allow multiple codings for states, the bounds can be still further improved.
Asynchronous state assignments, sequential circuits, single transition time state assignments.
R.L. Graham, A.D. Friedman, "Universal Single Transition Time Asynchronous State Assignments", IEEE Transactions on Computers, vol.18, no. 6, pp. 541-547, June 1969, doi:10.1109/T-C.1969.222707