Referenced Items are not available for this document.
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
Published in:
Advanced Research in Asynchronous Circuits and Systems, 1997. Proceedings., Third International Symposium on
Date of Conference: 7-10 Apr 1997
- Page(s):
- 228 - 239
- Meeting Date :
- 07 Apr 1997-10 Apr 1997
- Print ISBN:
- 0-8186-7922-0
- INSPEC Accession Number:
- 5572994
- Conference Location :
- Eindhoven
- Digital Object Identifier :
- 10.1109/ASYNC.1997.587177
- Product Type:
- Conference Publications
About IEEE Xplore | Contact | Help | Terms of Use | Nondiscrimination Policy | Site Map | Privacy & Opting Out of Cookies
A not-for-profit organization, IEEE is the world's largest professional association for the advancement of technology.
© Copyright 2013 IEEE - All rights reserved. Use of this web site signifies your agreement to the terms and conditions.
