A unified approach to input-output encoding for FSM state assignment

Subscribe (Full Service)


	Search: The ACM Digital Library The Guide

	Feedback

A unified approach to input-output encoding for FSM state assignment

Full text

Pdf (724 KB)

Source

Annual ACM IEEE Design Automation Conference archive
Proceedings of the 28th conference on ACM/IEEE design automation table of contents

San Francisco, California, United States

Pages: 176 - 181

Year of Publication: 1991

ISBN:0-89791-395-7

Authors

Maciej J. Ciesielski	Department of Electrical & Computer Engineering, University of Massachusetts, Amherst, MA
Jia-Jye Shen	Department of Electrical & Computer Engineering, University of Massachusetts, Amherst, MA
Marc Davio	Philips Research Lab., B-1348 Louvain-La-Neuve, Belgium

Sponsors

SIGDA: ACM Special Interest Group on Design Automation
IEEE-CS : Computer Society

Publisher

ACM New York, NY, USA

Bibliometrics

Downloads (6 Weeks): 6, Downloads (12 Months): 13, Citation Count: 6

Additional Information:

references cited by index terms collaborative colleagues peer to peer

Tools and Actions:	Review this Article Save this Article to a Binder Display Formats: BibTex EndNote ACM Ref

DOI Bookmark:	Use this link to bookmark this Article: http://doi.acm.org/10.1145/127601.127659 What is a DOI?

REFERENCES

Note: OCR errors may be found in this Reference List extracted from the full text article. ACM has opted to expose the complete List rather than only correct and linked references.

	1	D.B. Armstrong, "A programmed algorithm for assigning internal codes to sequential machines", 1RE Trans. Elect. Comput., pp.466-472, Aug. 1962.
	2	G. De Micheli, R.K. Brayton and A. Sangiovanni- Vincentelli, "Optimal state assignment of finite state machines", IEEE Trans. CAD, pp.269-285, July 1985.
	3	G. De Michelli, "Symbolic design of combinational and sequential circuits implemented by two-level macros", IEEE Trans. CAD, pp.597-616, Sep. 1986.
	4	S. Devadas, H-K. T. Ma, A.R. Newton and A. Sangiovanni-VincenteUi, "Mustang: state assignment of finite state machines targeting multi-level logic implementations", IEEE Trans. CAD, pp.1290-1300, Dec. 1988.
	5	S. Devadas and A.R. Newton, "Exact algorithms for output encoding, state assignment and four-level boolean minimization", IEEE Trans. CAD, pp.13-27, Jan. 1991.
	6	T.A. Dolotta and E.J. McCluskey, "The coding of internal states of sequential circuits", IRE Trans. Elect. Comput., pp.549-562, Oct. 1964.
	7	Juris Hartmanis, Algebraic structure theory of sequential machines (Prentice-Hall international series in applied mathematics), Prentice-Hall, Inc., Upper Saddle River, NJ, 1966
	8	J.H. Tracy, "Internal state assignment for asynchronous sequential machines", IEEE Trans. Elect. C omput., pp.551-560, Aug. 1966.
	9	T. Villa and A. Sangiovanni-Vincentelli, "NOVA: State assignment of finite state machines for optimal two-level logic implementation", IEEE Trans. CAD, pp.905-924, Sept. 1990.
	10	S. Yang and M. Ciesielski, "Optimum and suboptimum algorithms for input encoding and its relationship to logic minimization", IEEE Trans. CAD, pp.4-12, Jan. 1991.

CITED BY 6

	Robert M. Fuhrer , Bill Lin , Steven M. Nowick, Symbolic hazard-free minimization and encoding of asynchronous finite state machines, Proceedings of the 1995 IEEE/ACM international conference on Computer-aided design, p.604-611, November 05-09, 1995, San Jose, California, United States
	Ney Laert Vilar Calazans, Boolean constrained encoding: a new formulation and a case study, Proceedings of the 1994 IEEE/ACM international conference on Computer-aided design, p.702-706, November 06-10, 1994, San Jose, California, United States
	Z. Hasan , M. J. Ciesielski, Elimination of multi-cycle false paths by state encoding, Proceedings of the 1995 European conference on Design and Test, p.155, March 06-09, 1995
	A. M. Tokarnia, Identifying Minimal Shift Counters: A Search Technique, IEEE Transactions on Computers, v.43 n.5, p.633-639, May 1994
	L. Jóźwiak , A. Ślusarczyk , A. Chojnacki, Fast and compact sequential circuits for the FPGA-based reconfigurable systems, Journal of Systems Architecture: the EUROMICRO Journal, v.49 n.4-6, p.227-246, September 2003
	Bernhard Eschermann, State assignment for hardwired VLSI control units, ACM Computing Surveys (CSUR), v.25 n.4, p.415-436, Dec. 1993