DocumentCode
1116346
Title
An Asynchronous Circuit Design Language (ACDL)
Author
Bednar, Gregory M. ; Tracey, James H.
Author_Institution
Systems Development Division, IBM
Issue
9
fYear
1974
Firstpage
971
Lastpage
976
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.
Keywords
Asynchronous sequential circuits, design automation, design languages, sequential circuit synthesis, sequential circuit specifications, switching theory.; Asynchronous circuits; Biological information theory; Circuit synthesis; Circuit testing; Decision trees; Design automation; Dictionaries; Performance evaluation; Polynomials; Sequential circuits; Asynchronous sequential circuits, design automation, design languages, sequential circuit synthesis, sequential circuit specifications, switching theory.;
fLanguage
English
Journal_Title
Computers, IEEE Transactions on
Publisher
ieee
ISSN
0018-9340
Type
jour
DOI
10.1109/T-C.1974.224064
Filename
1672657
Link To Document