Improved state assignment for burst mode finite state machines

J.W.J.M. Rutten; M.R.C.M. Berkelaar

doi:10.1109/ASYNC.1997.587177

Improved state assignment for burst mode finite state machines

J.W.J.M. Rutten, M.R.C.M. Berkelaar

Electronic Systems

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

2 Citations (Scopus)

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.

Original language	English
Title of host publication	Advanced research in asynchronous circuits and systems (ASYNC) : international symposium : proceedings, 3rd, April 7-10, 1997, Eindhoven, The Netherlands
Place of Publication	New York
Publisher	IEEE Press
Pages	228-239
ISBN (Print)	0-8186-7922-0
DOIs	https://doi.org/10.1109/ASYNC.1997.587177
Publication status	Published - 1997
Event	Advanced research in asynchronous circuits and systems (ASYNC) : 3rd international symposium - Eindhoven, Netherlands Duration: 7 Apr 1997 → 10 Apr 1997

Conference

Conference	Advanced research in asynchronous circuits and systems (ASYNC) : 3rd international symposium
Country/Territory	Netherlands
City	Eindhoven
Period	7/04/97 → 10/04/97

Access to Document

10.1109/ASYNC.1997.587177

Cite this

@inproceedings{4dab44cd09f049369bca66344a76af54,

title = "Improved state assignment for burst mode finite state machines",

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.",

author = "J.W.J.M. Rutten and M.R.C.M. Berkelaar",

year = "1997",

doi = "10.1109/ASYNC.1997.587177",

language = "English",

isbn = "0-8186-7922-0",

pages = "228--239",

booktitle = "Advanced research in asynchronous circuits and systems (ASYNC) : international symposium : proceedings, 3rd, April 7-10, 1997, Eindhoven, The Netherlands",

publisher = "IEEE Press",

note = "Advanced research in asynchronous circuits and systems (ASYNC) : 3rd international symposium ; Conference date: 07-04-1997 Through 10-04-1997",

}

Rutten, JWJM & Berkelaar, MRCM 1997, Improved state assignment for burst mode finite state machines. in Advanced research in asynchronous circuits and systems (ASYNC) : international symposium : proceedings, 3rd, April 7-10, 1997, Eindhoven, The Netherlands. IEEE Press, New York, pp. 228-239, Advanced research in asynchronous circuits and systems (ASYNC) : 3rd international symposium, Eindhoven, Netherlands, 7/04/97. https://doi.org/10.1109/ASYNC.1997.587177

Improved state assignment for burst mode finite state machines. / Rutten, J.W.J.M.; Berkelaar, M.R.C.M.
Advanced research in asynchronous circuits and systems (ASYNC) : international symposium : proceedings, 3rd, April 7-10, 1997, Eindhoven, The Netherlands. New York: IEEE Press, 1997. p. 228-239.

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

TY - GEN

T1 - Improved state assignment for burst mode finite state machines

AU - Rutten, J.W.J.M.

AU - Berkelaar, M.R.C.M.

PY - 1997

Y1 - 1997

N2 - 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.

AB - 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.

U2 - 10.1109/ASYNC.1997.587177

DO - 10.1109/ASYNC.1997.587177

M3 - Conference contribution

SN - 0-8186-7922-0

SP - 228

EP - 239

BT - Advanced research in asynchronous circuits and systems (ASYNC) : international symposium : proceedings, 3rd, April 7-10, 1997, Eindhoven, The Netherlands

PB - IEEE Press

CY - New York

T2 - Advanced research in asynchronous circuits and systems (ASYNC) : 3rd international symposium

Y2 - 7 April 1997 through 10 April 1997

ER -

Improved state assignment for burst mode finite state machines

Abstract

Conference

Access to Document

Fingerprint

Cite this