An efficient critical race-free state assignment technique for asynchronous finite state machines

Subscribe (Full Service)


	Search: The ACM Digital Library The Guide

	Feedback

An efficient critical race-free state assignment technique for asynchronous finite state machines

Full text

Pdf (585 KB)

Source

Annual ACM IEEE Design Automation Conference archive
Proceedings of the 30th international Design Automation Conference table of contents

Dallas, Texas, United States

Pages: 2 - 6

Year of Publication: 1993

ISBN:0-89791-577-1

Authors

Tam Anh Chu
Narayana Mani
Clement K. C. Leung

Sponsors

EDAC : Electronic Design Automation Consortium
IEEE-CAS : Circuits & Systems
SIGDA: ACM Special Interest Group on Design Automation

Publisher

ACM New York, NY, USA

Bibliometrics

Downloads (6 Weeks): 11, Downloads (12 Months): 29, Citation Count: 1

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/157485.157569 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	B. Bollobhs, Graph Theory, Chapter V, GTM 63, Springer-Verlag.
	2	T.-A. Chu, "Synthesis of Self-Timed VLSI Circuits from Graph-Theoretic Specifications." Ph.D. Thesis, Dept. of EECS, MIT, June 1987.
	3	Tam-Anh Chu, Automatic Synthesis and Verification of Hazard-Free Control Circuits from Asynchronous Finite State Machine Specifications, Proceedings of the 1991 IEEE International Conference on Computer Design on VLSI in Computer & Processors, p.407-413, October 11-14, 1992
	4	Arthur D. Friedman , Premachandran R. Menon, Theory and Design Switching Circ, W. H. Freeman & Co., New York, NY, 1985
	5	K. S. Stevens, S. V. Robinson and A. L. Davis, "The Post Office- Communication Support for Distributed Ensemble Architectures," Sixth International Conference on Distributed Computing Systems, 1986
	6	J.H. Tracey, "Internal State Assignments for Asynchronous Sequential Machines." IEEE Trans. Electronic Computers, EC-15:551-560, Aug. 1966.
	7	P. Vanbekbergen, et al. "A Local Optimization Technique for Synthesis of Asynchronous Control Circuits." Proc. of IWLS 91.
	8	L. Lavagno , C. W. Moon , R. K. Brayton , A. L. Sangiovanni-Vincentelli, Solving the state assignment problem for signal transition graphs, Proceedings of the 29th ACM/IEEE conference on Design automation, p.568-572, June 08-12, 1992, Anaheim, California, United States
	9	David L. Dill, Trace theory for automatic hierarchical verification of speed-independent circuits, MIT Press, Cambridge, MA, 1989
	10	D. Muller, "The general synthesis problem for asynchronous digital networks," in Conference Record of Eighth Annual Symposium on Switching and Automata Theory, 1967
	11	C. N. Liu, A State Variable Assignment Method for Asynchronous Sequential Switching Circuits, Journal of the ACM (JACM), v.10 n.2, p.209-216, April 1963 [doi>10.1145/321160.321169]