FSM decomposition revisited

Subscribe (Full Service)


	Search: The ACM Digital Library The Guide

	Feedback

FSM decomposition revisited: Algebraic structure theory applied to MCNC benchmark FSMs

Full text

Pdf (372 KB)

Source

Annual ACM IEEE Design Automation Conference archive
Proceedings of the 28th ACM/IEEE Design Automation Conference table of contents

San Francisco, California, United States

Pages: 182 - 185

Year of Publication: 1991

ISBN:0-89791-395-7

Authors

Martin Geiger	Siemens AG, Corporate Research and Development, Systems Design Automation, Otto-Hahn-Ring 6, D-8000 Munich 83, FRG
Thomas Müller-Wipperfürth	Johannes Kepler University Linz, Institute of Systems Sciences, Systems Theory and Information Engineering, Altenberger-Strasse 69, A-4040 Linz, Austria

Sponsors

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

Publisher

ACM New York, NY, USA

Bibliometrics

Downloads (6 Weeks): 7, Downloads (12 Months): 17, Citation Count: 2

Additional Information:

references cited by index terms collaborative colleagues

Tools and Actions:	Request Permissions 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.127661 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	P. Ashar, S. Devadas, and A.R. Newton. Optimum and heuristic algorithms for finite state machine decomposition and partitioning, in Proc. of the Internalional Conference on Computer-Aided Design, 1989.
	2	Pranav Ashar , Srinivas Devadas , A. Richard Newton, A unified approach to the decomposition and re-decomposition of sequential machines, Proceedings of the 27th ACM/IEEE conference on Design automation, p.601-606, June 24-27, 1990, Orlando, Florida, United States [doi>10.1145/123186.123414]
	3	R. Brayton, R. Rudell, A. Wang, and A. Sangiovanni Vineentelli. MIS: A multiple-level logic optimization system. IEEE Trans. on Computer- Aided Design, 1987.
	4	Robert King Brayton , Alberto L. Sangiovanni-Vincentelli , Curtis T. McMullen , Gary D. Hachtel, Logic Minimization Algorithms for VLSI Synthesis, Kluwer Academic Publishers, Norwell, MA, 1984
	5	Giovanni De Micheli, Robert K. Brayton, and Alberto Sangiovanni-Vincentelli. Optimal state assignment for finite state machines. IEEE Trans. on Computer-Aided Design, CAD-4(3):269-285, July 1985.
	6	P. Duzy, H. Kr~mer, M. Pilsl, W. Rosenstiel, and T. Wecker. CALLAS - conversion of algorithms to library adaptable structures. In Proc. of ~he VLSI 89 Conference, Munich, 1989. M. J. Foster. Partitioning real finite automata:
	7	A progress report. Technical report, AT&T Bell Laboratories, 1988.
	8	Juris Hartmanis, Algebraic structure theory of sequential machines (Prentice-Hall international series in applied mathematics), Prentice-Hall, Inc., Upper Saddle River, NJ, 1966
	9	Bill Lin and A. Richard Newton. Synthesis of multiple-level logic from symbolic high-level description languages. In Proc. of the VLSI 89 Conference, Munich, 1989.
	10	Bob Lisanke. Logic synthesis and optimization benchmarks. Technical report, MCNC, Research Triangle Park, North Carolina, December 1055.
	11	F. Pichler and H. Pr~ihofer. CAST.FSM computer aided systems theory: Finite state machines. In R. Trappl, editor, Cybernetics and Systems '88, Dordrecht, 1988. Kluwer Academic Publishers.
	12	F. Pichler and H. Schw~rtzel. CAST Computerunterstiitzte Systemtheorie. Springer Verlag, Berlin, 1990.
	13	G. Rietsche and Neher. M. CASTOR: State assignment in a finite state machine synthesis system. In Proc. of the IFIP Working Conference on Logic and Architecture Synthesis, Paris, 1990.
	14	G. Saucier , C. Duff , F. Poirot, State assignment using a new embedding method based on an intersecting cube theory, Proceedings of the 26th ACM/IEEE conference on Design automation, p.321-326, June 25-28, 1989, Las Vegas, Nevada, United States [doi>10.1145/74382.74436]

CITED BY 2

	Sybille Hellebrand , Hans-Joachim Wunderlich, An efficient procedure for the synthesis of fast self-testable controller structures, Proceedings of the 1994 IEEE/ACM international conference on Computer-aided design, p.110-116, November 06-10, 1994, San Jose, California, United States
	Luca Macchiarulo , Shih-Ming Shu , Malgorzata Marek-Sadowska, Wave steered FSMs, Proceedings of the conference on Design, automation and test in Europe, p.270-276, March 27-30, 2000, Paris, France