Computing subsets of equivalence classes for large FSMs

Subscribe (Full Service)


	Search: The ACM Digital Library The Guide

	Feedback

Computing subsets of equivalence classes for large FSMs

Full text

Pdf (604 KB)

Source

European Design Automation Conference archive
Proceedings of the conference on European design automation table of contents

Brighton, England

Pages: 288 - 293

Year of Publication: 1995

ISBN:0-8186-7156-4

Authors

Gianpiero Cabodi	Dip. di Automatica e Informatica, Politecnico di Torino, Turin, Italy
Stefano Quer	Dip. di Automatica e Informatica, Politecnico di Torino, Turin, Italy
Paolo Camurati	Dip. di Matematica e Informatica, Università di Udine, Udine, Italy

Sponsor

SIGDA: ACM Special Interest Group on Design Automation

Publisher

IEEE Computer Society Press Los Alamitos, CA, USA

Bibliometrics

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

Additional Information:

references 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

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	B. Lin, H.J. Touati, A. Richard Newton, ~Don't Care Minimization of Multi-Level Sequential Logic Networks," in Proc. IEEE ICCAD'90, November 1990, pp. 414-417
	2	Thomas Tamisier, Computing the observable equivalence relation of a finite state machine, Proceedings of the 1993 IEEE/ACM international conference on Computer-aided design, p.184-187, November 07-11, 1993, Santa Clara, California, United States
	3	Hyunwoo Cho , Gary D. Hachtel , Enrico Macii , Bernard Plessier , Fabio Somenzi, Algorithms for approximate FSM traversal, Proceedings of the 30th international conference on Design automation, p.25-30, June 14-18, 1993, Dallas, Texas, United States [doi>10.1145/157485.164555]
	4	Gianpiero Cabodi , P. Camurati , Stefano Quer, Symbolic exploration of large circuits with enhanced forward/backward traversals, Proceedings of the conference on European design automation, p.22-27, September 19-23, 1994, Grenoble, France
	5	Bill Lin , A. Richard Newton, Implicit Manipulation of Equivalence Classes Using Binary Decision Diagrams, Proceedings of the 1991 IEEE International Conference on Computer Design on VLSI in Computer & Processors, p.81-85, October 14-16, 1991