loading...
 This Article 
   
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
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.