Algorithms for synthesis of hazard-free asynchronous circuits

Subscribe (Full Service)


	Search: The ACM Digital Library The Guide

	Feedback

Algorithms for synthesis of hazard-free asynchronous circuits

Full text

Pdf (868 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: 302 - 308

Year of Publication: 1991

ISBN:0-89791-395-7

Authors

L. Lavagno	Dept. of EECS, University of California, Berkeley
K. Keutzer	Synopsys, Mountain View, CA
A. Sangiovanni-Vincentelli	Dept. of EECS, University of California, Berkeley

Sponsors

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

Publisher

ACM New York, NY, USA

Bibliometrics

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

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.127685 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.

	BHMSV84	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
	Chu86	T A Chu, On the models for designing VLSI asynchronous digital systems, Integration, the VLSI Journal, v.4 n.2, p.99-113, June 1986 [doi>10.1016/S0167-9260(86)80002-5]
	Chu87	T. A. Chu. Sinthesis of Self-timed VLSI Circuits front Graph-theoretic Specifications. PhD thesis, MIT, June 1987.
	Hac72	M. Hack, ANALYSIS OF PRODUCTION SCHEMATA BY PETRI NETS, Massachusetts Institute of Technology, Cambridge, MA, 1972
	Hea88	Steve Heath, VMEbus User's Handbook, CRC Press, Inc., Boca Raton, FL, 1989
	LKSV90	L. Lavagno, K. Keutzer, and A. Sangiovanni- Vincentelli. Synthesis of verifiably hazard-free asynchronous control circuits. Technical Report UCB/ERL M90/99, U.C. Berkeley, 1990.
	LKSV91	Luciano Lavagno , Kurt Keutzer , Alberto L. Sangiovanni-Vincentelli, Synthesis of verifiably hazard-free asynchronous control circuits, Proceedings of the 1991 University of California/Santa Cruz conference on Advanced research in VLSI, p.87-102, April 1991
	MBL+87	Alain J. Martin , Steven M. Burns , T. K. Lee , Drazen Borkovic , Pieter J. Hazewindus, The design of an asynchronous microprocessor, Proceedings of the decennial Caltech conference on VLSI on Advanced research in VLSI, p.351-373, June 1989, Cambridge, Massachusetts, United States
	Men88	T. Meng. Asynchronous Design for Digital Signal Processing Architectures. PhD thesis, U.C. Berkeley~ November 1988.
	Mil65	R. E. Miller. Switching theory, volume 2. Wiley and Sons, 1965.
	PD72	S. S. Patil and J. B. Dennis. The description ana realization of digital systems. In Proceedings of the IEEE COMPCON, pages 223-226~ 1972.
	Sei81	C. L. Seitz. introduction to VLSI Systems. Chapter 7, Mead and Conway (Eds.), Addison Wesley, 1981.
	Smi85	G. L. Smith. Model for dealy faults based upon paths. In Proceedings of the International Testing Conference~ pages 342-349, 1985.
	Tra66	J. H. Tracey. Internal state assignments for asynchronous sequential machines. IEEE Transactions on Electronic Computers, EC-15(4):551-560, August 1966.
	Ung69	Stephen H. Unger, Asynchronous Sequential Switching Circuit, Krieger Publishing Co., Inc., Melbourne, FL, 1983
	Van90	P. Vanbekbergen. Optimized synthesis of asynchronous control circuits from graph-theoretic specifications. In Proceedings of the International Conference on Computer-Aided Design, pages 184-187, November 1990.
	Var90	V. I. Varshavsky. Self-timed Control of Concurrent Processes. Kluwer Academic Publisher, 1990. (Russian edition: 1986).

CITED BY 25

	Alexandre Yakovlev , Luciano Lavagno , Alberto Sangiovanni-Vincentelli, A unified signal transition graph model for asynchronous control circuit synthesis, Proceedings of the 1992 IEEE/ACM international conference on Computer-aided design, p.104-111, November 1992, Santa Clara, California, United States
	Ruchir Puri , Jun Gu, A modular partitioning approach for asynchronous circuit synthesis, Proceedings of the 31st annual conference on Design automation, p.63-69, June 06-10, 1994, San Diego, California, United States
	Peter Vanbekbergen , Bill Lin , Gert Goosens , Hugo De Man, A generalized state assignment theory for transformation on signal transition graphs, Proceedings of the 1992 IEEE/ACM international conference on Computer-aided design, p.112-117, November 1992, Santa Clara, California, United States
	Milton Sawasaki , Chantal Ykman-Couvreur , Bill Lin, Externally hazard-free implementations of asynchronous circuits, Proceedings of the 32nd ACM/IEEE conference on Design automation, p.718-724, June 12-16, 1995, San Francisco, California, United States
	Bill Lin , Chantal Ykman-Couvreur , Peter Vanbekbergen, A general state graph transformation framework for asynchronous synthesis, Proceedings of the conference on European design automation, p.448-453, September 19-23, 1994, Grenoble, France
	Kenneth Y. Yun , David L. Dill, Automatic synthesis of 3D asynchronous state machines, Proceedings of the 1992 IEEE/ACM international conference on Computer-aided design, p.576-580, November 1992, Santa Clara, California, United States
	Srinivas Devadas , Kurt Keutzer , Sharad Malik , Albert Wang, Verification of asynchronous interface circuits with bounded wire delays, Proceedings of the 1992 IEEE/ACM international conference on Computer-aided design, p.188-195, November 1992, Santa Clara, California, United States
	M.-L. Yu , P. A. Subrahmanyam, A path-oriented approach for reducing hazards in asynchronous designs, Proceedings of the 29th ACM/IEEE conference on Design automation, p.239-244, June 08-12, 1992, Anaheim, California, United States
	Alex Kondratyev , Michael Kishinevsky , Bill Lin , Peter Vanbekbergen , Alex Yakovlev, Basic gate implementation of speed-independent circuits, Proceedings of the 31st annual conference on Design automation, p.56-62, June 06-10, 1994, San Diego, California, United States
	Kuan-Jen Lin , Chen-Shang Lin, On the verification of state-coding in STGs, Proceedings of the 1992 IEEE/ACM international conference on Computer-aided design, p.118-122, November 1992, Santa Clara, California, United States
	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
	Luciano Lavagno , Antonio Lioy , Michael Kishinevsky, Testing redundant asynchronous circuits by variable phase splitting, Proceedings of the conference on European design automation, p.328-333, September 19-23, 1994, Grenoble, France
	Peter Vanbekbergen , Gert Goossens , Bill Lin, Modeling and synthesis of timed asynchronous circuits, Proceedings of the conference on European design automation, p.460-465, September 19-23, 1994, Grenoble, France
	Daniel H. Linder , James C. Harden, Phased Logic: Supporting the Synchronous Design Paradigm with Delay-Insensitive Circuitry, IEEE Transactions on Computers, v.45 n.9, p.1031-1044, September 1996
	Kenneth Y. Yun , David L. Dill, Unifying synchronous/asynchronous state machine synthesis, Proceedings of the 1993 IEEE/ACM international conference on Computer-aided design, p.255-260, November 07-11, 1993, Santa Clara, California, United States
	Sung Tae Jung , Chris J. Myers, Direct synthesis of timed asynchronous circuits, Proceedings of the 1999 IEEE/ACM international conference on Computer-aided design, p.332-338, November 07-11, 1999, San Jose, California, United States
	Bill Lin , Srinivas Devadas, Synthesis of hazard-free multi-level logic under multiple-input changes from binary decision diagrams, Proceedings of the 1994 IEEE/ACM international conference on Computer-aided design, p.542-549, November 06-10, 1994, San Jose, California, United States
	Enric Pastor , Jordi Cortadella, Polynomial algorithms for the synthesis for hazard-free circuits from signal transition graphs, Proceedings of the 1993 IEEE/ACM international conference on Computer-aided design, p.250-254, November 07-11, 1993, Santa Clara, California, United States
	Bill Lin , Steven Vercauteren, Synthesis of concurrent system interface modules with automatic protocol conversion generation, Proceedings of the 1994 IEEE/ACM international conference on Computer-aided design, p.101-108, November 06-10, 1994, San Jose, California, United States
	Steven M. Nowick , David L. Dill, Exact two-level minimization of hazard-free logic with multiple-input changes, Proceedings of the 1992 IEEE/ACM international conference on Computer-aided design, p.626-630, November 1992, Santa Clara, California, United States
	Peter A. Beerel , Teresa H.-Y. Meng, Automatic gate-level synthesis of speed-independent circuits, Proceedings of the 1992 IEEE/ACM international conference on Computer-aided design, p.581-586, November 1992, Santa Clara, California, United States
	Kuan-Jen Lin , Chi-Wen Kuo , Chen-Shang Lin, Synthesis of Hazard-Free Asynchronous Circuits Based on Characteristic Graph, IEEE Transactions on Computers, v.46 n.11, p.1246-1263, November 1997
	R. F. Tinder , R. I. Klaus , J. A. Snodderley, High-Speed Microprogrammable Asynchronous Controller Modules, IEEE Transactions on Computers, v.43 n.10, p.1226-1232, October 1994
	Stephen H. Unger, Hazards, Critical Races, and Metastability, IEEE Transactions on Computers, v.44 n.6, p.754-768, June 1995
	Eric Verlind , Gjalt de Jong , Bill Lin, Efficient partial enumeration for timing analysis of asynchronous systems, Proceedings of the 33rd annual conference on Design automation, p.55-58, June 03-07, 1996, Las Vegas, Nevada, United States