Title :
Improved state assignment for burst mode finite state machines
Author :
Rutten, J.W.J.M. ; Berkelaar, M.R.C.M.
Author_Institution :
Inf. & Commun. Syst. Group, Eindhoven Univ. of Technol., Netherlands
Abstract :
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
Keywords :
asynchronous circuits; finite state machines; formal verification; hazards and race conditions; state assignment; ABM-FSMs; asynchronous; burst mode; encoding scheme; finite state machines; state assignment; state variables; verification; Automata; Clocks; Encoding; Feedback loop; Hazards; Synchronization;
Conference_Titel :
Advanced Research in Asynchronous Circuits and Systems, 1997. Proceedings., Third International Symposium on
Conference_Location :
Eindhoven
Print_ISBN :
0-8186-7922-0
DOI :
10.1109/ASYNC.1997.587177
