Methodology and tools for state encoding in asynchronous circuit synthesis

Subscribe (Full Service)


	Search: The ACM Digital Library The Guide

	Feedback

Methodology and tools for state encoding in asynchronous circuit synthesis

Full text

Pdf (109 KB)

Source

Annual ACM IEEE Design Automation Conference archive
Proceedings of the 33rd annual Design Automation Conference table of contents

Las Vegas, Nevada, United States

Pages: 63 - 66

Year of Publication: 1996

ISBN:0-89791-779-0

Authors

Jordi Cortadella	Univ. Politecnica de Catalunya, Barcelona, Spain
Michael Kishinevsky	The University of Aizu, Japan
Alex Kondratyev	The University of Aizu, Japan
Luciano Lavagno	Politecnico di Torino, Italy
Alex Yakovlev	University of Newcastle upon Tyne, United Kingdom

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): 0, Downloads (12 Months): 2, Citation Count: 3

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/240518.240531 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	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]
	2	J. Cortadella, M. Kishinevsky, A. Kondratyev, L. Lavagno, and A. Yakovlev. A region-based theory for state assignment in asynchronous circuits. Technical Report 95-2-006, University of Aizu, Japan, October 1995.
	3	Jordi Cortadella , Michael Kishinevsky , Luciano Lavagno , Alex Yakovlev, Synthesizing Petri nets from state-based models, Proceedings of the 1995 IEEE/ACM international conference on Computer-aided design, p.164-171, November 05-09, 1995, San Jose, California, United States
	4	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 [doi>10.1145/196244.196275]
	5	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
	6	M. Nielsen , G. Rozenberg , P. S. Thiagarajan, Elementary transition systems, Theoretical Computer Science, v.96 n.1, p.3-33, 6 April 1992
	7	Leonid Ya. Rosenblum , Alexandre Yakovlev, Signal Graphs: From Self-Timed to Timed Ones, International Workshop on Timed Petri Nets, p.199-206, July 01-03, 1985
	8	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
	9	C. Ykman-Couvreur , B. Lin, Optimised state assignment for asynchronous circuit synthesis, Proceedings of the 2nd Working Conference on Asynchronous Design Methodologies, p.118, May 30-31, 1995

CITED BY 3

	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
	Jordi Cortadella , Michael Kishinevsky , Luciano Lavagno , Alexandre Yakovlev, Deriving Petri Nets from Finite Transition Systems, IEEE Transactions on Computers, v.47 n.8, p.859-882, August 1998
	Alexandre Yakovlev, Designing Control Logic for Counterflow Pipeline Processor Using Petri Nets, Formal Methods in System Design, v.12 n.1, p.39-71, Jan., 1998