Abstract
This correspondence describes a special purpose Asynchronous Circuit Design Language (ACDL) for specifying the terminal behavior of asynchronous sequential circuits. The language is a valuable tool for formalizing and documenting asynchronous designs, as well as providing a user interface to a completely automated synthesis system. The language includes many special features which permit quick and precise specification of terminal behavior and is best suited for problems that are currently being described informally by word statements. Copyright © 1974 by The Institute of Electrical and Electronics Engineers, Inc.
Recommended Citation
G. M. Bednar and J. H. Tracey, "An Asynchronous Circuit Design Language (ACDL)," IEEE Transactions on Computers, vol. C thru 23, no. 9, pp. 971 - 976, Institute of Electrical and Electronics Engineers, Jan 1974.
The definitive version is available at https://doi.org/10.1109/T-C.1974.224064
Department(s)
Electrical and Computer Engineering
Keywords and Phrases
Asynchronous sequential circuits; design automa design languages; sequential circuit specifications; sequential circuit synthesis; switching theory
International Standard Serial Number (ISSN)
0018-9340
Document Type
Article - Journal
Document Version
Citation
File Type
text
Language(s)
English
Rights
© 2023 Institute of Electrical and Electronics Engineers, All rights reserved.
Publication Date
01 Jan 1974
