Basic gate implementation of speed-independent circuits

Subscribe (Full Service)


	Search: The ACM Digital Library The Guide

	Feedback

Basic gate implementation of speed-independent circuits

Full text

Pdf (128 KB)

Source

Annual ACM IEEE Design Automation Conference archive
Proceedings of the 31st annual Design Automation Conference table of contents

San Diego, California, United States

Pages: 56 - 62

Year of Publication: 1994

ISBN:0-89791-653-0

Authors

Alex Kondratyev	The University of Aizu, Aizu-Wakamatsu, 965 Japan
Michael Kishinevsky	Technical University of Denmark, Building 344, Lyngby, DK
Bill Lin	IMEC Laboratory, B-3001 Leuven, Belgium
Peter Vanbekbergen	Synopsys, inc., Mountain View, CA
Alex Yakovlev	University of Newcastle upon Tyne, NE1 7RU England

Sponsors

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

Publisher

ACM New York, NY, USA

Bibliometrics

Downloads (6 Weeks): 3, Downloads (12 Months): 11, Citation Count: 16

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/196244.196275 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	Peter A. Beerel , Teresa H.-Y. Meng, Semi-modularity and testability of speed-independent circuits, Integration, the VLSI Journal, v.13 n.3, p.301-322, Sept. 1992 [doi>10.1016/0167-9260(92)90033-U]
	2	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
	3	T.-A. Chu. Synthesis of Self-timed VLSI Circuits flvm Graphtheoretic Specifications. PhD thesis, MIT, June 1987.
	4	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
	5	C. A. R. Hoare, Communicating sequential processes, Communications of the ACM, v.21 n.8, p.666-677, Aug. 1978 [doi>10.1145/359576.359585]
	6	A. Kondratyev, M. Kishinevsky, B. Lin, E Vanbekbergen, and A. Yakovlev. On the conditions for gate-level speedindependence of asynchronous circuits. In Coll. of papers of the ACM Int. Workshop on Timing Issues in the Specification and Synthesis of Digital Systems, 1993.
	7	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]
	8	A. Martin. Compiling communicating processes into delayinsensitive VLSI circuits. Distributed Computing, 1:226-234, 1986.
	9	C. E. Molnar, T.-E Fang, and F. U. Rosenberger. Synthesis of delay-insensitive modules. In Chapel Hill Conf. on VLSI, pp. 67-86, May 1985.
	10	D. E. Muller and W. C. Bartky. A theory of asynchronous circuits. In Annals of Comp. Lab. of Harvard Univ., pp. 204- 243, 1959.
	11	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
	12	M. A. Kishinevskiµi , Alexandre V. Yakovlev , Victor I. Varshavsky, Self-Timed Control of Concurrent Processes: The Design of Aperiodic Logical Circuits in Computers and Discrete Systems, Kluwer Academic Publishers, Norwell, MA, 1990
	13	A. Yakovlev. Synthesis of hazard-free asynchronous circuits from generalised signal-transition graphs. In Proc. of the 6th Int. Conf. on VLSI Design, Bombay, India, Jan. 1993.
	14	Meng-Lin Yu , P. A. Subrahmanyam, Hazard-Free Asynchronous Circuit Synthesis, Proceedings of the IFIP WG10.5 Working Conference on Asynchronous Design Methodologies, p.87-105, March 31-April 02, 1993
	15	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

CITED BY 16

	Michael Kishinevsky , Jordi Cortadella , Alex Kondratyev, Asynchronous interface specification, analysis and synthesis, Proceedings of the 35th annual conference on Design automation, p.2-7, June 15-19, 1998, San Francisco, California, United States
	Hans Jacobson , Chris Myers , Ganesh Gopalakrishnan, Achieving fast and exact hazard-free logic minimization of extended burst-mode gC finite state machines, Proceedings of the 2000 IEEE/ACM international conference on Computer-aided design, November 05-09, 2000, San Jose, California
	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
	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
	Erik Brunvand , Steven Nowick , Kenneth Yun, Practical advances in asynchronous design and in asynchronous/synchronous interfaces, Proceedings of the 36th ACM/IEEE conference on Design automation, p.104-109, June 21-25, 1999, New Orleans, Louisiana, 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
	Jordi Cortadella , Michael Kishinevsky , Alex Kondratyev , Luciano Lavagno , Alex Yakovlev, Methodology and tools for state encoding in asynchronous circuit synthesis, Proceedings of the 33rd annual conference on Design automation, p.63-66, June 03-07, 1996, Las Vegas, Nevada, United States
	Luca P. Carloni , Kenneth L. McMillan , Alexander Saldanha , Alberto L. Sangiovanni-Vincentelli, A methodology for correct-by-construction latency insensitive design, Proceedings of the 1999 IEEE/ACM international conference on Computer-aided design, p.309-315, November 07-11, 1999, San Jose, 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
	Michael Kishinevsky , Alex Kondratyev , Luciano Lavagno , Alexander Saldanha , Alexander Taubin, Partial scan delay fault testing of asynchronous circuits, Proceedings of the 1997 IEEE/ACM international conference on Computer-aided design, p.728-735, November 09-13, 1997, San Jose, California, United States
	Jordi Cortadella , Michael Kishinevsky , Alex Kondratyev , Luciano Lavagno , Enric Pastor , Alex Yakovlev, Decomposition and technology mapping of speed-independent circuits using Boolean relations, Proceedings of the 1997 IEEE/ACM international conference on Computer-aided design, p.220-227, November 09-13, 1997, San Jose, California, United States
	Bill Lin , Gjalt de Jong , Tilman Kolks, Hierarchical optimization of asynchronous circuits, Proceedings of the 32nd ACM/IEEE conference on Design automation, p.712-717, June 12-16, 1995, San Francisco, 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
	Hiroshi Saito , Hiroshi Nakamura , Masahiro Fujita , Takashi Nanya, Logic optimization for asynchronous speed independent controllers using transduction method, Proceedings of the 2003 conference on Asia South Pacific design automation, January 21-24, 2003, Kitakyushu, Japan
	Jordi Cortadella , Michael Kishinevsky , Alex Kondratyev , Luciano Lavagno , Alex Yakovlev, Technology Mapping of Speed-Independent Circuits Based on Combinational Decomposition and Resynthesis, Proceedings of the 1997 European conference on Design and Test, p.98, March 17-20, 1997
	Enric Pastor , Oriol Roig , Jordi Cortadella , Alex Kondratyev, Structural Methods for the Synthesis of Speed-Independent Circuits, Proceedings of the 1996 European conference on Design and Test, p.340, March 11-14, 1996