A Universal STT State Assignment Method for Pulse Input Asynchronous Sequential Circuits

Methods to realize race-free asynchronous sequential circuits by using appropriate single transition time (STT) state assignments have been described in the literature. This paper deals with that restricted class of asynchronous circuits (called pulse-input asynchronous circuits) for which in every input sequence each input state liis always followed b ya special input state l0?li,. A method is presented to realize any pulse-input asynchronous sequential circuit with p internal states by a universal race-free STT state assignment in 2E0 variables, where E0=[log2n] and n<=p is the number of the elements in a defined subset of internal states.