Third International Symposium on Advanced Research in Asynchronous Circuits and Systems (ASYNC '97) Improved State Assignment for Burst Mode Finite State Machines Eindhoven, THE NETHERLANDS April 07-April 10 ISBN: 0-8186-7922-0
This paper addresses the problem of state assignment for Asynchronous Burst Mode Finite State Machines (ABM-FSMs). We compare an encoding scheme proposed by Fuhrer with the well known Tracey method. We then propose two improvements on Fuhrer's method which dramatically reduce the number of state variables necessary. We also prove the correctness of the instantiated machines. All results mentioned have been verified by a verification method proposed by Kung.
Index Terms:
asynchronous logic, state assignment, finite state machines
Citation:
J.W.J.M. Rutten, M.R.C.M. Berkelaar, "Improved State Assignment for Burst Mode Finite State Machines," async, pp.228, Third International Symposium on Advanced Research in Asynchronous Circuits and Systems (ASYNC '97), 1997 Usage of this product signifies your acceptance of the Terms of Use. | |||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||