Article

Free access

Synthesis of multiple-input change asynchronous finite state machines

Authors:

Maureen Ladd,

William P. BirminghamAuthors Info & Claims

DAC '91: Proceedings of the 28th ACM/IEEE Design Automation Conference

Pages 309 - 314

https://doi.org/10.1145/127601.127686

Published: 01 June 1991 Publication History

PDF eReader

References

[1]

D.B. Armstrong, A.D. Friedman, and P.R. Menon. Realization of asynchronous sequential circuits without inserted delay elements. IEEE Transactions on Computers, C-17(2), February 1968.

Google Scholar

[2]

D.B. Armstrong, A.D. Friedman, and P.R. Menon. Design of asynchronous circuits assuming unbounded gate delays. IEEE Transactions on Computers, C-18(12), December 1969.

Google Scholar

[3]

T-A. Chu. Synthesis of self-timed VLSI circuits from graphtheoretic specifications. In Proc. of the International Conference on Computer Design. IEEE, 1987.

Google Scholar

[4]

H. Chuang and S. Das. Multiple-input change asynchronous machines using controlled excitation and flip-flops. In Proc. of the 14th Annual Symposium on Switching and Automata Theory. IEEE, October 1973.

Digital Library

Google Scholar

[5]

E.B. Eichelberger. Hazard detection in combinational and sequential switching circuits. In Proc. of the 5th Annual Symposium on Switching Circuit Theory and Logical Design, November 1968.

Google Scholar

[6]

A.D. Friedman and P.R. Menon. Synthesis of asynchronous sequential circuits with multiple-input changes. IEEE Transactions on Computers, C-17(6), June 1968.

Google Scholar

[7]

R. Hackbart and D. Dietmeyer. The avoidance and elimination of function hazards in asynchronous sequential circuits. IEEE Transactions on Computers, C-20(2), February 1971.

Google Scholar

[8]

Z. Kohavi. Switching and Finite Automata Theory. McGraw-Hill, New York, 1978.

Digital Library

Google Scholar

[9]

M. Ladd and W. Birmingham. Synthesis of multiple-input change asynchronous finite state machines. Technical report, University of Michigan, Dept. of Electrical Engineering and Computer Science, Forthcoming 1991.

Google Scholar

[10]

G.G. Langdon. Analysis of asynchronous circuits under different delay assumptions. IEEE Transactions on Computers, C-17(12), December 1968.

Google Scholar

[11]

R. Lisanke. Finite-state machine benchmark set. In MCNC Logic Synthesis Workshop, 1987.

Google Scholar

[12]

M. Mano. Digital Logic and Computer Design. Prentice- Hall, Englewood Cliffs, NJ, 1979.

Digital Library

Google Scholar

[13]

T. Meng, R. Brodersen, and D. Messerschmitt. Automatic synthesis of asynchronous circuits from high-level specifications. IEEE Transactions on Computer-Aided Design, 8(11), November 1989.

Digital Library

Google Scholar

[14]

R.E. Miller. Switching Theory. Wiley, New York, 1966.

Google Scholar

[15]

D. Misunas. Petri nets and speed independent design. Communications of the ACM, 16(8), August 1973.

Digital Library

Google Scholar

[16]

D.E. Muller and W.S. Bartky. A theory of asynchronous circuits. In Proc. of the International Symposium on the Theory of Switching, volume I, Cambridge, MA, 1957. Harvard University Press.

Google Scholar

[17]

C.L. Seitz. Asynchronous machines exhibiting concurrency. In Record of the Project MAC Conference on Concurrent Systems and Parallel Computation, 1970.

Digital Library

Google Scholar

[18]

C.L. Seitz. System timing. In Introduction to VLSI Systems. Addison-Wesley, Reading, MA, 1980.

Google Scholar

[19]

J.H. Tracey. Internal state assignments for asynchronous sequential machines. IEEE Transactions on Electronic Computers, EC-15(4), August 1966.

Crossref

Google Scholar

[20]

S.H. Unger. Asynchronous Sequential Switching Circuits. Krieger, Melbourne, FL, 1969.

Digital Library

Google Scholar

[21]

S.H. Unger. Asynchronous sequential switching circuits with unrestricted input changes. IEEE Transactions on Computers, C-20(12), December 1971.

Google Scholar

Cited By

View all

Cheng FChen YHuang SHuang C(2014)Synthesis of QDI FSMs from Synchronous SpecificationsProceedings of the 2014 20th IEEE International Symposium on Asynchronous Circuits and Systems10.1109/ASYNC.2014.16(61-68)Online publication date: 12-May-2014
https://dl.acm.org/doi/10.1109/ASYNC.2014.16
Davis ANowick S(1995)Asynchronous Circuit Design: Motivation, Background, & MethodsAsynchronous Digital Circuit Design10.1007/978-1-4471-3575-3_1(1-49)Online publication date: 1995
https://doi.org/10.1007/978-1-4471-3575-3_1
Saxena JPradhan D(1993)Design for testability of asynchronous sequential circuitsProceedings of 1993 IEEE International Conference on Computer Design ICCD'9310.1109/ICCD.1993.393323(518-522)Online publication date: 1993
https://doi.org/10.1109/ICCD.1993.393323
Show More Cited By

Index Terms

Synthesis of multiple-input change asynchronous finite state machines

Recommendations

Comments

Please enable JavaScript to view thecomments powered by Disqus.

Information & Contributors

Information

Published In

DAC '91: Proceedings of the 28th ACM/IEEE Design Automation Conference

June 1991

783 pages

ISBN:0897913957

DOI:10.1145/127601

Chairman:
A. Richard Newton
Univ. of California, Berkeley

Permission to make digital or hard copies of all or part of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. Copyrights for components of this work owned by others than ACM must be honored. Abstracting with credit is permitted. To copy otherwise, or republish, to post on servers or to redistribute to lists, requires prior specific permission and/or a fee. Request permissions from [email protected]

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 01 June 1991

Permissions

Request permissions for this article.

Request Permissions

Check for updates

Qualifiers

Article

Conference

DAC91

Sponsor:

SIGDA
IEEE-CS

DAC91: The 28th ACM/IEEE Design Automation Conference

June 17 - 22, 1991

California, San Francisco, USA

Acceptance Rates

Overall Acceptance Rate 1,770 of 5,499 submissions, 32%

Upcoming Conference

DAC '25

Sponsor:
sigda

62nd ACM/IEEE Design Automation Conference

June 22 - 26, 2025

San Francisco , CA , USA

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

5
Total Citations
View Citations
426
Total Downloads

Downloads (Last 12 months)30
Downloads (Last 6 weeks)4

Reflects downloads up to 18 Dec 2024

Other Metrics

View Author Metrics

Citations

Cited By

View all

Cheng FChen YHuang SHuang C(2014)Synthesis of QDI FSMs from Synchronous SpecificationsProceedings of the 2014 20th IEEE International Symposium on Asynchronous Circuits and Systems10.1109/ASYNC.2014.16(61-68)Online publication date: 12-May-2014
https://dl.acm.org/doi/10.1109/ASYNC.2014.16
Davis ANowick S(1995)Asynchronous Circuit Design: Motivation, Background, & MethodsAsynchronous Digital Circuit Design10.1007/978-1-4471-3575-3_1(1-49)Online publication date: 1995
https://doi.org/10.1007/978-1-4471-3575-3_1
Saxena JPradhan D(1993)Design for testability of asynchronous sequential circuitsProceedings of 1993 IEEE International Conference on Computer Design ICCD'9310.1109/ICCD.1993.393323(518-522)Online publication date: 1993
https://doi.org/10.1109/ICCD.1993.393323
Nowick SDean MDill DHorowitz M(1993)The design of a high-performance cache controller: a case study in asynchronous synthesis[1993] Proceedings of the Twenty-sixth Hawaii International Conference on System Sciences10.1109/HICSS.1993.270623(419-427)Online publication date: 1993
https://doi.org/10.1109/HICSS.1993.270623
Nowick SDill D(1991)Automatic synthesis of locally-clocked asynchronous state machines1991 IEEE International Conference on Computer-Aided Design Digest of Technical Papers10.1109/ICCAD.1991.185264(318-321)Online publication date: 1991
https://doi.org/10.1109/ICCAD.1991.185264

View Options

View options

PDF

View or Download as a PDF file.

PDF

eReader

View online with eReader.

eReader

Login options

Check if you have access through your login credentials or your institution to get full access on this article.

Cited By

Index Terms

Recommendations

Synthesis of Finite State Machines: Functional Optimization

Synthesis of Finite State Machines: Functional Optimization

Automated synthesis of finite state machines