On the verification of state-coding in STGs

Subscribe (Full Service)


	Search: The ACM Digital Library The Guide

	Feedback

On the verification of state-coding in STGs

Full text

Pdf (546 KB)

Source

International Conference on Computer Aided Design archive
Proceedings of the 1992 IEEE/ACM international conference on Computer-aided design table of contents

Santa Clara, California, United States

Pages: 118 - 122

Year of Publication: 1992

ISBN:0-89791-540-2

Authors

Kuan-Jen Lin	Department of Electrical Engineering, National Taiwan University
Chen-Shang Lin

Sponsors

IEEE-CAS : Circuits & Systems
SIGDA: ACM Special Interest Group on Design Automation
IEEE-CS : Computer Society

Publisher

IEEE Computer Society Press Los Alamitos, CA, USA

Bibliometrics

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

Additional Information:

references index terms collaborative colleagues

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	T. A. Chu, "Synthesis of Self-Timed Control Circuits from Graphical Specifications", PhD thesis, MIT, June, 1987.
	2	T. H.-Y. Meng, R.obe~t W. Brodersen, David G. Messerschimitt, "Automatic Synthesis of Asynchronous Circuits from High-Level Specification," IEEE Trans. on CAD., pp. 1185-1205, No. 11, 1989.
	3	L. Lavagno and Cho W. Moon, ~Private Communication".
	4	Peter Vanbekbergen, Francky Catthoor, Jef Van Meerbergen, Hugo DE Man, "Optimized Synthesis of Asynchronous Control Circuits from Graph-theoretic Specifications," Proceeding of the international Con- ~erence on Computer.Aided Design, pp. 184-187, 1990.
	5	Kuan-Jen Lin , Chen-Shang Lin, Automatic synthesis of asynchronous circuits, Proceedings of the 28th conference on ACM/IEEE design automation, p.296-301, June 17-22, 1991, San Francisco, California, United States [doi>10.1145/127601.127684]
	6	L. Lavagno , K. Keutzer , A. Sangiovanni-Vincentelli, Algorithms for synthesis of hazard-free asynchronous circuits, Proceedings of the 28th conference on ACM/IEEE design automation, p.302-308, June 17-22, 1991, San Francisco, California, United States [doi>10.1145/127601.127685]
	7	Cho W. Moon, Paul R. Stephan and Robert K. Brayton, "Synthesis of Hazard-free Asynchronous Circuits from Graphical Specifications," Proceeding of the International Conference on Computer-Aided Design, pp. 322-325~ 1991.
	8	K. J. Lin and C. S. Lin, "A Realization Algorithm of of Asynchronous Circuits from STG," Proceeding of 199~ European Conference on Design Automation, pp. 322-326.
	9	James Lyle Peterson, Petri Net Theory and the Modeling of Systems, Prentice Hall PTR, Upper Saddle River, NJ, 1981
	10	K. 3. Lin, "Automatic Synthesis of Asynchronous Circuits," Ms. thesis, EE Department of National Taiwan University, 1990.
	11	K. J. Lin and C. S. Lin, "The verification of State- Coding in STGs," Technical report, EE Department of National Taiwan University, 1992.